1.AdaCore / gnatstudioGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.AdaNo license535 total65 forks+1 starsfrom 534 · score 0.69