stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,538Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-safety-critical
- Problem Solving☆900Updated 5 years ago
- +2600 developer-related blogs and publications.☆636Updated 7 years ago
- A curated list of awesome bitwise operations and tricks☆3,058Updated last year
- Computer Science Cheatsheets.☆1,602Updated 3 years ago
- Big-O Complexities / Poster of common algorithms used in Computer Science☆1,652Updated 2 years ago
- Architectural patterns of resilient distributed systems☆1,262Updated 7 years ago
- ☆2,195Updated 3 weeks ago
- security tips for startups☆4,612Updated 2 years ago
- A critique of "How to C in 2016"☆524Updated 2 years ago
- The longflow manifesto☆631Updated 7 years ago
- This note presents in a technical though hopefully pedagogical way the three most common forms of neural network architectures: Feedforwa…☆1,383Updated 5 years ago
- ☆3,425Updated 3 years ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 7 years ago
- A short description of the C++ build process☆1,209Updated 3 months ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,327Updated last year
- Crypto 101, the introductory book on cryptography.☆3,003Updated last year
- A list of history's greatest software engineers and tech pioneers☆2,483Updated 3 years ago
- All CPU and MCU documentation in one place☆1,904Updated 2 years ago
- 🔒 Become an Auth Boss. Learn about different authentication methodologies on the web.☆2,888Updated 7 years ago
- lsof to graphviz☆1,019Updated 5 years ago
- Bare bone examples of machine learning in TensorFlow☆2,422Updated 7 years ago
- 👨🏭Set up your Linux server with plain shell scripts☆1,172Updated 3 years ago
- A collection of SQL queries to social media datasets.☆1,548Updated 4 years ago
- Validator for HTTP☆934Updated 5 years ago
- Xaddress - Give 7 billion people an instant physical address☆1,185Updated 2 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- Luke Gorrie's blog☆566Updated last year
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,769Updated 5 months ago