stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,560Updated 2 months ago
Alternatives and similar repositories for awesome-safety-critical
Users that are interested in awesome-safety-critical are comparing it to the libraries listed below
Sorting:
- Problem Solving☆898Updated 6 years ago
- Computer Science Cheatsheets.☆1,601Updated 4 years ago
- This note presents in a technical though hopefully pedagogical way the three most common forms of neural network architectures: Feedforwa…☆1,388Updated 5 years ago
- Learn to crypto workshop☆1,673Updated 3 years ago
- +2600 developer-related blogs and publications.☆636Updated 7 years ago
- The longflow manifesto☆631Updated 8 years ago
- security tips for startups☆4,626Updated 2 years ago
- A critique of "How to C in 2016"☆528Updated 2 years ago
- Architectural patterns of resilient distributed systems☆1,258Updated 7 years ago
- ☆3,427Updated 4 years ago
- Luke Gorrie's blog☆564Updated 2 years ago
- Musings on building groundbreaking technology companies.☆424Updated 7 years ago
- A short description of the C++ build process☆1,208Updated 9 months ago
- An interactive way to peruse your git history from the terminal☆2,116Updated 4 years ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- ☆2,188Updated last week
- ultrafast single TCP packet audio/visual experience☆1,401Updated 9 months ago
- A libre cross-platform disassembler.☆1,443Updated 6 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,800Updated 11 months ago
- A collection of SQL queries to social media datasets.☆1,545Updated 5 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,235Updated 7 months ago
- Bare bone examples of machine learning in TensorFlow☆2,415Updated 8 years ago
- A curated list of awesome bitwise operations and tricks☆3,086Updated last year
- A document version of my "Vipassana for Hackers" talk☆594Updated 10 months ago
- Brad's homelab setup☆1,906Updated 5 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- Validator for HTTP☆932Updated 5 years ago
- lsof to graphviz☆1,021Updated 6 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,327Updated 2 years ago