1.AdaCore / gnatstudioGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.AdaNo license535 total65 forks+16 starsfrom 519 · score 2.83
2.AdaCore / ada_language_serverServer implementing the Microsoft Language Protocol for Ada and SPARKAdaGPL-3.0307 total70 forks+9 starsfrom 298 · score 2.30
3.zertovitch / leaLEA is a Lightweight Editor for Adaadaada-languageeditorscintillaauto-completeautocomplete+2 moreAdaMIT33 total7 forks+1 starsfrom 32 · score 0.69