stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,541Updated 8 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
- Problem Solving☆900Updated 5 years ago
- An interactive way to peruse your git history from the terminal☆2,118Updated 3 years ago
- +2600 developer-related blogs and publications.☆636Updated 7 years ago
- All CPU and MCU documentation in one place☆1,910Updated 2 years ago
- ultrafast single TCP packet audio/visual experience☆1,402Updated 5 months ago
- ☆2,192Updated 3 weeks ago
- A searchable, syncable, content-addressable notetaking system☆1,033Updated 7 years ago
- ☆3,430Updated 3 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,779Updated 7 months ago
- A critique of "How to C in 2016"☆528Updated 2 years ago
- 🔒 Become an Auth Boss. Learn about different authentication methodologies on the web.☆2,888Updated 7 years ago
- Science-based games - a collaborative list☆1,593Updated 6 months ago
- A short description of the C++ build process☆1,210Updated 5 months 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,224Updated 3 months ago
- Modern Memory Safety in C/C++☆1,211Updated 8 years ago
- Computer Science Cheatsheets.☆1,602Updated 4 years ago
- security tips for startups☆4,615Updated 2 years ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆900Updated 5 years ago
- A (non overwhelming) list of Machine Learning resources for beginners☆626Updated 8 years ago
- A curated list of awesome resources for Electronic Engineers and hobbyists☆6,130Updated this week
- Learn to crypto workshop☆1,672Updated 2 years ago
- Luke Gorrie's blog☆566Updated last year
- Conference Talks and Proposals☆752Updated 6 years ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆9,973Updated 10 months ago
- A libre cross-platform disassembler.☆1,433Updated 6 years ago
- Architectural patterns of resilient distributed systems☆1,258Updated 7 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,328Updated last year
- 👨🏭Set up your Linux server with plain shell scripts☆1,173Updated 3 years ago