GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Thick Ada binding for OpenGL and GLFW

Command-line tool from the Alire project and supporting library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

The Core Flight System (cFS)

OpenMDAO repository.