List of resources about programming practices for writing safety-critical software.
Primary LanguagePythonCreative Commons Zero v1.0 UniversalCC0-1.0