A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
47,133 repositories indexed
1–2 of 2 · Most stars
A model-based flight software framework for Ada
Provides GCC 'specs' files to cope with macOS SDK policy changes