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