GitHub repository: CyberFlameGO/gps
Description: GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.