Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
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
emBRICK driver and support for emBRICK in Ada