GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
The Ada Conformity Assessment Test Suite, customised for GCC.