GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
SITE/SOURCE: https://github.com/AdaCore/gnatstudio