stanislaw/awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
PythonCC0-1.0
Issues
- 1
Improve checking of dead links
#63 opened by stanislaw - 2
Mobile version of the website
#64 opened by stanislaw - 1
Add John W. McCormick Ada books
#27 opened by jviotti - 8
[wish] more safety for the "safety critical" repo
#12 opened by dodikk