stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,557Updated last month
Alternatives and similar repositories for awesome-safety-critical:
Users that are interested in awesome-safety-critical are comparing it to the libraries listed below
- +2600 developer-related blogs and publications.☆636Updated 7 years ago
- Computer Science Cheatsheets.☆1,601Updated 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 curated list of awesome bitwise operations and tricks☆3,085Updated last year
- A short description of the C++ build process☆1,208Updated 8 months ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- security tips for startups☆4,623Updated 2 years ago
- A critique of "How to C in 2016"☆529Updated 2 years ago
- Problem Solving☆898Updated 5 years ago
- A list of history's greatest software engineers and tech pioneers☆2,499Updated 3 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- Architectural patterns of resilient distributed systems☆1,258Updated 7 years ago
- A guide for the rest of us on using C++ templates.☆557Updated 6 years ago
- Learn to crypto workshop☆1,674Updated 3 years ago
- like ~~grep~~ UBER, but for binaries☆1,729Updated 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,421Updated last week
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,797Updated 10 months ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,326Updated 2 years ago
- A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more☆406Updated last year
- a community wiki for improving code quality☆344Updated last month
- A framework of abstractions☆293Updated 9 months ago
- Luke Gorrie's blog☆564Updated 2 years ago
- ultrafast single TCP packet audio/visual experience☆1,403Updated 8 months ago
- ☆3,428Updated 4 years ago
- Modern Memory Safety in C/C++☆1,210Updated 8 years ago
- A libre cross-platform disassembler.☆1,443Updated 6 years ago
- como-lang-ng is now ana-lang, located at https://github.com/analang/ana☆342Updated 5 years ago
- A work-in-progress for what is to be a software-free web server for static content.☆790Updated 8 years ago
- ☆680Updated 3 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆271Updated 7 years ago