GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada