stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
☆1,545Updated this 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 short description of the C++ build process☆1,209Updated 7 months ago
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- Problem Solving☆898Updated 5 years ago
- Conference Talks and Proposals☆752Updated 7 years ago
- ultrafast single TCP packet audio/visual experience☆1,404Updated 7 months ago
- An intuitive and visual guide to understanding Maxwell's equations.☆792Updated 4 years ago
- Xaddress - Give 7 billion people an instant physical address☆1,185Updated 2 years ago
- A critique of "How to C in 2016"☆529Updated 2 years ago
- ☆3,430Updated 4 years ago
- A searchable, syncable, content-addressable notetaking system☆1,033Updated 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
- Learn to crypto workshop☆1,672Updated 2 years ago
- The longflow manifesto☆631Updated 8 years ago
- lsof to graphviz☆1,020Updated 5 years ago
- It's a Swift playground explaining how to create a tiny programming language named Mu☆1,047Updated 5 years ago
- A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more☆405Updated last year
- Crypto 101, the introductory book on cryptography.☆3,031Updated last year
- Luke Gorrie's blog☆565Updated last year
- 👨🏭Set up your Linux server with plain shell scripts☆1,174Updated 3 years ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,784Updated 9 months ago
- The Swiss army knife of data examination and manipulation☆333Updated 6 years ago
- like ~~grep~~ UBER, but for binaries☆1,722Updated 2 years ago
- Computer Science Cheatsheets.☆1,601Updated 4 years ago
- An interactive way to peruse your git history from the terminal☆2,117Updated 3 years ago
- A collection of SQL queries to social media datasets.☆1,548Updated 5 years ago
- All CPU and MCU documentation in one place☆1,913Updated 2 years ago
- security tips for startups☆4,618Updated 2 years ago
- Validator for HTTP☆932Updated 5 years ago
- Secure and simple terminal sharing☆1,619Updated 7 years ago
- A simple, self-contained, serverless, zero-configuration, json document store.☆844Updated last week