Hacker GitHub

← All repos

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

Mentions per year 7 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …; 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
  2. …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
  3. …> 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?
  4. …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?