Resources on programming practices for safety-critical software.
- safety-critical
- safety-standards
- safety
- awesome-lists
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Replacements to standard numeric types which throw exceptions on errors
- integer-arithmetic
- boost-libraries
- c-plus-plus
- safe-numerics
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software