stanislaw / awesome-safety-criticalLinks
List of resources about programming practices for writing safety-critical software.
☆1,566Updated 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:
- A short description of the C++ build process☆1,209Updated 3 weeks ago
- Problem Solving☆897Updated 6 years ago
- A critique of "How to C in 2016"☆531Updated 2 years ago
- Computer Science Cheatsheets.☆1,602Updated 4 years ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- ☆2,189Updated 2 months ago
- All CPU and MCU documentation in one place☆1,944Updated 2 years ago
- A curated list of awesome bitwise operations and tricks☆3,086Updated last year
- Modern Memory Safety in C/C++☆1,213Updated 8 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,238Updated 9 months ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,330Updated 2 years ago
- Xaddress - Give 7 billion people an instant physical address☆1,186Updated 2 years ago
- The corrective bash syntax highlighter☆4,692Updated 9 months ago
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- A fast, straightforward, reliable tool for performing massive, automated code refactoring☆1,631Updated 4 years ago
- The longflow manifesto☆631Updated 8 years ago
- An interactive way to peruse your git history from the terminal☆2,117Updated 4 years ago
- like ~~grep~~ UBER, but for binaries☆1,736Updated 2 years ago
- 👨🏭Set up your Linux server with plain shell scripts☆1,175Updated 3 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…☆2,444Updated this week
- A libre cross-platform disassembler.☆1,443Updated 6 years ago
- A tiny neural network library☆2,131Updated 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
- A short tutorial about building Linux based operating systems.☆5,167Updated last year
- lsof to graphviz☆1,023Updated 6 years ago
- This project has been moved to:☆1,459Updated 4 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- Luke Gorrie's blog☆565Updated 2 years ago
- security tips for startups☆4,628Updated 2 years ago