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