stanislaw / awesome-safety-criticalLinks
List of resources about programming practices for writing safety-critical software.
☆1,582Updated 9 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☆896Updated 6 years ago
- +2600 developer-related blogs and publications.☆636Updated 8 years ago
- A searchable, syncable, content-addressable notetaking system☆1,035Updated 8 years ago
- Computer Science Cheatsheets.☆1,601Updated 5 years ago
- The longflow manifesto☆631Updated 8 years ago
- security tips for startups☆4,628Updated 3 years ago
- A short description of the C++ build process☆1,208Updated 6 months ago
- Science-based games - a collaborative list☆1,620Updated last month
- A curated list of awesome bitwise operations and tricks☆3,103Updated 2 years ago
- Conference Talks and Proposals☆751Updated 7 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,820Updated last month
- A critique of "How to C in 2016"☆531Updated 3 years ago
- ☆3,422Updated 4 years ago
- Luke Gorrie's blog☆566Updated 2 years ago
- Architectural patterns of resilient distributed systems☆1,257Updated 8 years ago
- Quick reference guide on fork and pull request workflow☆961Updated last year
- All CPU and MCU documentation in one place☆1,967Updated 3 years ago
- A collection of SQL queries to social media datasets.☆1,546Updated 6 years ago
- Big-O Complexities / Poster of common algorithms used in Computer Science☆1,658Updated 3 years ago
- Learn to crypto workshop☆1,672Updated 3 years ago
- Make a self hosted OpenVPN server in 15 minutes☆807Updated 8 years ago
- Release one side project per month, log your results here!☆419Updated 7 years ago
- 👨🏭Set up your Linux server with plain shell scripts☆1,175Updated 4 years ago
- A framework of abstractions☆294Updated last year
- A business card in LaTeX.☆693Updated 3 years ago
- ☆2,187Updated 2 weeks ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆625Updated 4 years ago
- ultrafast single TCP packet audio/visual experience☆1,404Updated last year
- A short tutorial about building Linux based operating systems.☆5,247Updated last year
- Modern Memory Safety in C/C++☆1,217Updated 9 years ago