https://mgrojo.github.io/adasearch/

Custom search engine for the Ada programming language
https://mgrojo.github.io/adasearch/

ada custom-search-google search-engine spark spark-ada

Last synced: 3 months ago
JSON representation

Custom search engine for the Ada programming language

• Host: GitHub
• URL: https://mgrojo.github.io/adasearch/
• Owner: mgrojo
• License: cc0-1.0
• Created: 2020-07-18T08:10:02.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2024-08-02T12:31:11.000Z (3 months ago)
• Last Synced: 2024-08-03T13:07:40.865Z (3 months ago)
• Topics: ada, custom-search-google, search-engine, spark, spark-ada
• Language: HTML
• Homepage: https://mgrojo.github.io/adasearch/
• Size: 65.4 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ada - adasearch - Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics. (Community / News and Resources)

README

        
[![Ada Search logo](img/ada_search.svg)](https://mgrojo.github.io/adasearch/)

[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)

[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada)

This repository is dedicated to Ada Search: a custom Google search

engine for the Ada/SPARK programming language, and other search

engines customized for Ada. It contains:

* [`index.html`](index.html) - The HTML/JavaScript page ready to be

  deployed to a website.

* [`google/`](google/) -

  [Configuration](https://developers.google.com/custom-search/docs/basics)

  of the [Google Programmable Search

  Engine](https://programmablesearchengine.google.com/about/).  It

  includes Ada and SPARK from the [Google Knowledge

  Graph](https://en.wikipedia.org/wiki/Knowledge_Graph), some synonyms

  and custom autocompletions based on the Ada 2022 RM index.

* [`plugins/`](plugins/) - [OpenSearch description

  files](https://developer.mozilla.org/en-US/docs/Web/OpenSearch) for

  all the search engines. That means that you can add them as

  alternative search plugins to your browser.

The main reason why this project exists is that we, Ada programmers,

are tired of filtering standard search results from information about

diabetes, dentist and generally name of Ada. List of excluded keywords

can grow almost every day and don't help too much.

Also, this project can help others create and maintain their own

version of a custom search engine :)

**INFO:** This project is a maintained fork of the former

thindil/adasearch project.