Awesome-safety-critical: resources for writing safety-critical softwaregithub.com/stanislaw6 pointsawesomesafety7 years ago