stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,547Updated last week
Alternatives and similar repositories for awesome-safety-critical:
Users that are interested in awesome-safety-critical are comparing it to the libraries listed below
- A searchable, syncable, content-addressable notetaking system☆1,033Updated 8 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,789Updated 9 months ago
- ultrafast single TCP packet audio/visual experience☆1,404Updated 7 months ago
- Computer Science Cheatsheets.☆1,602Updated 4 years ago
- ☆3,429Updated 4 years ago
- ☆2,193Updated last week
- A short tutorial about building Linux based operating systems.☆5,157Updated 9 months ago
- Architectural patterns of resilient distributed systems☆1,259Updated 7 years ago
- All CPU and MCU documentation in one place☆1,917Updated 2 years ago
- like ~~grep~~ UBER, but for binaries☆1,727Updated 2 years ago
- security tips for startups☆4,619Updated 2 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,419Updated this week
- 👨🏭Set up your Linux server with plain shell scripts☆1,174Updated 3 years ago
- Programming Language Theory λΠ☆5,272Updated 3 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,229Updated 5 months ago
- Science-based games - a collaborative list☆1,604Updated 8 months ago
- A curated list of awesome bitwise operations and tricks☆3,081Updated last year
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- A list of history's greatest software engineers and tech pioneers☆2,494Updated 3 years ago
- The longflow manifesto☆631Updated 8 years ago
- SQLite with Branches☆1,626Updated 5 years ago
- Problem Solving☆898Updated 5 years ago
- A critique of "How to C in 2016"☆529Updated 2 years ago
- Luke Gorrie's blog☆565Updated 2 years ago
- Experimental, scalable, high performance HTTP server☆5,952Updated last week
- Learn to crypto workshop☆1,671Updated 2 years ago
- A relational database for embedded devices and sensors nodes☆728Updated last year
- A libre cross-platform disassembler.☆1,439Updated 6 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆271Updated 7 years ago
- Collection of quotes on notation design & how it affects thought.☆1,849Updated 4 years ago