From 311d4c23e17be7a07a66f05380512f1ac26a5eca Mon Sep 17 00:00:00 2001 From: Manuel Date: Fri, 2 Aug 2024 12:33:03 +0200 Subject: [PATCH] Add adasearch --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 0b99516..899cd96 100644 --- a/README.md +++ b/README.md @@ -198,6 +198,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan - [ada-resource-association](https://www.adaic.org/community/) - Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”. - [ada-information-clearinghouse](https://www.adaic.org/) - News and resources for the Ada programming language. - [ada-planet](https://ada-planet.blogspot.com/) - News Aggregator from the Ada programming language world (v3) ([Ada-Planet v2 feed via Matrix][ada-planet-via-matrix]). +- [adasearch](https://mgrojo.github.io/adasearch/) - Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics. [ada-planet-via-matrix]: https://matrix.to/#/#ada-lang:matrix.org