An Ada binding generator from SVD descriptions for bare board ARM devices.
Repository Index
85,578 visible repositories in the index
1–4 of 4 · Most stars
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Supports functional testing using Tcl scripts.