GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
RISC-V 64-bit Kernel written in Ada