1.AdaCore / gnatstudioGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.AdaNo license535 total65 forks+35 starsfrom 500 · score 3.58
2.AdaCore / ada_language_serverServer implementing the Microsoft Language Protocol for Ada and SPARKAdaGPL-3.0307 total70 forks+17 starsfrom 290 · score 2.89
3.zertovitch / leaLEA is a Lightweight Editor for Adaadaada-languageeditorscintillaauto-completeautocomplete+2 moreAdaMIT33 total7 forks+2 starsfrom 31 · score 1.10