Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Simple to use cross-platform BDD driver for black box testing
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Behavior Driven Development in Ada
emBRICK driver and support for emBRICK in Ada