stanislaw / awesome-safety-criticalLinks
List of resources about programming practices for writing safety-critical software.
☆1,565Updated 3 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:
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- A curated list of awesome bitwise operations and tricks☆3,085Updated last year
- security tips for startups☆4,626Updated 2 years ago
- Computer Science Cheatsheets.☆1,600Updated 4 years ago
- Problem Solving☆897Updated 6 years ago
- All CPU and MCU documentation in one place☆1,942Updated 2 years ago
- Learn to crypto workshop☆1,672Updated 3 years ago
- A short description of the C++ build process☆1,209Updated last week
- A (non overwhelming) list of Machine Learning resources for beginners☆625Updated 8 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,802Updated last year
- Conference Talks and Proposals☆753Updated 7 years ago
- like ~~grep~~ UBER, but for binaries☆1,733Updated 2 years ago
- Source for the little book about OS development☆2,516Updated 2 years ago
- An interactive way to peruse your git history from the terminal☆2,117Updated 4 years ago
- ultrafast single TCP packet audio/visual experience☆1,401Updated 10 months ago
- Big-O Complexities / Poster of common algorithms used in Computer Science☆1,652Updated 3 years ago
- ☆2,190Updated last month
- 🔒 Become an Auth Boss. Learn about different authentication methodologies on the web.☆2,890Updated 8 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
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- The longflow manifesto☆631Updated 8 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…☆10,101Updated last year
- 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,238Updated 8 months ago
- A critique of "How to C in 2016"☆529Updated 2 years ago
- Curated list of Awesome Youtube Channels about Programming☆375Updated 2 years ago
- ☆3,427Updated 4 years ago
- lsof to graphviz☆1,022Updated 6 years ago
- Awesome list of distributed systems resources☆1,597Updated 4 years ago
- A short tutorial about building Linux based operating systems.☆5,166Updated last year
- A work-in-progress for what is to be a software-free web server for static content.☆794Updated 8 years ago