GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Primary LanguageAda
No one’s star this repository yet.