gnatstudio-bin: gnatstudio-bin (GNAT Studio) gnatstudio-bin: gnatstudio-bin: GNAT Studio is a lightweight, extensible IDE, intended to develop gnatstudio-bin: high-integrity software in Ada and SPARK, with support for C and gnatstudio-bin: C++ as well. gnatstudio-bin: gnatstudio-bin: https://github.com/AdaCore/gnatstudio gnatstudio-bin: gnatstudio-bin: gnatstudio-bin: gnatstudio-bin: