Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor