1.AdaCore / gnatstudioGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.AdaNo license535 total65 forks+6 starsfrom 529 · score 1.95
2.AdaCore / ada_language_serverServer implementing the Microsoft Language Protocol for Ada and SPARKAdaGPL-3.0307 total70 forks+5 starsfrom 302 · score 1.79