AdaCore/gnatstudio
View on GitHub ↗ ★ 536 Ada
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2022-06-20 · latest 2026-04-17
20082026
-
Toolchain: https://ada-lang.io/ IDE: https://github.com/AdaCore/gnatstudio
comment by CodeArtisan · 2026-04-17 · in Ada, its design, and the language that built the languages -
…[4] https://github.com/AdaCore/ada_language_server [5] https://www.nongnu.org/ada-mode/ [6] https://github.com/AdaCore/gnatstudio [7] https://learn.adacore.com/courses/whats-new-in-ada-2022/inde...
comment by 0rzech · 2023-02-15 · in Get Started with Open Source Formal Verification [video] -
…want the payed for pro tools features and support, then there are downloads on adacore.com instead. https://github.com/AdaCore/gnatstudio
comment by kevlar700 · 2022-06-20 · in What's New in Ada 2022