stanislaw/awesome-safety-critical
View on GitHub ↗ ★ 1,598 Python
Resources on programming practices for safety-critical software.
7 mentions on Hacker News by 5 people: 3 stories, 4 comments · first 2017-03-03 · latest 2022-11-11
20082026
-
…; Software Safety Standards, Handbooks; Formal Verification; backup/ https://github.com/stanislaw/awesome-safety-critical/tree/ma... - > Additional lists of static analysis, dynamic analysis, SAST, DAST, and other source code a
comment by westurner · 2022-11-11 · in NSA urges orgs to use memory-safe programming languages -
…useful. It had an effect on me on how I wrote C after reading it. Here's a github hosted version https://github.com/stanislaw/awesome-safety-critical/blob/ma...
comment by bhaak · 2022-08-19 · in The James Webb Space Telescope Runs JavaScript, Apparently -
…> examples of how to write secure code awesome-safety-critical > Coding Guidelines https://github.com/stanislaw/awesome-safety-critical/blob/ma...
comment by westurner · 2020-03-21 · in Ask HN: How can a intermediate-beginner learn Unix/Linux and programming? -
…essential. These coding guidelines and standards are basically only available for C, C++, and Ada. https://github.com/stanislaw/awesome-safety-critical/blob/ma... Even though modern languages have garbage-collection that runs whenever it…
comment by westurner · 2019-12-25 · in Ask HN: Is it worth it to learn C in 2020? -
▲ 6
Awesome-safety-critical: resources for writing safety-critical softwarestory by awesomesafety · 2019-12-19 · 5 comments
-
▲ 208
Resources about programming practices for writing safety-critical softwarestory by AlexDenisov · 2017-03-06 · 84 comments
-
▲ 3
Writing saftey critical softwarestory by razer6 · 2017-03-03 · 0 comments