Wasn't there an Ada search engine

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!