Search for the Ada language —or its subset SPARK— related things on the Web. This search engine is powered by Google Programmable Search Engine. After showing results of your query, you can sort them by relevance or date. The search engine is customized to find only Ada/SPARK related things, thus queries like "aws" return only "Ada Web Server" related pages.
"use quotes around"just plain wordsthis OR that OR word-not -this -words10..20 kg (just the range) 2011..2014site:example.combefore:YYYY-MM-DDafter:YYYY-MM-DDOf course, you can merge any of these moves to create a combo :)
Search for a phrase in several source code forges, like Gitlab or Bitbucket. This search engine is powered by searchcode. The search is customized to look only for code written in Ada.
Search for any source code pattern found in any of the Alire crates. This search engine is powered by search.ada-lang.io.
Search for any phrase found in GitHub.com Ada repositories. Keep "lang:ada" on the query to look only for code written in Ada.
Search for any pattern found in the Sourceforge Ada directory.
Search for the Ada language —or its subset SPARK— related things on the Web. This search engine is powered by the Ada Conformity Assessment Authority.
Search for the any phrase on the Ada Programming wikibook.
This site includes OpenSearch description files for all the search engines. That means that you can add them as alternative search plugins to your browser.
More information about Ada and SPARK on the Web: