{"name":"gnatstudio","description":"\nGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.","screenshots":["../contribute_ss.webp"],"sites":["https://github.com/AdaCore/gnatstudio"]}