I feel like I remember someone showcasing a search engine that specifically searched various Ada resources, but not I cannot find any reference to it. Am I remembering wrong or does anyone know of such a search engine?
There is Thindil’s one: Search for Ada/SPARK on the Web
And AdaIC one: Ada on the Web - Ada Resource Association
Thindil’s one is in maintenance mode. I suggested including it in ada-lang.io, but the idea didn’t get traction. See Integrate other personal tools available in the Ada community · Issue #6 · ada-lang-io/ada-lang-io · GitHub
1 Like
Thanks! I’ll peruse them!