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