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

Command-line tool from the Alire project and supporting library

Server implementing the Microsoft Language Protocol for Ada and SPARK

HAC Ada Compiler - a small, quick Ada compiler fully in Ada