stanislaw / awesome-safety-criticalLinks
List of resources about programming practices for writing safety-critical software.
☆1,570Updated 4 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:
- Problem Solving☆896Updated 6 years ago
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- The longflow manifesto☆631Updated 8 years ago
- Computer Science Cheatsheets.☆1,602Updated 4 years ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- A curated list of awesome bitwise operations and tricks☆3,086Updated 2 years ago
- Science-based games - a collaborative list☆1,612Updated last year
- Luke Gorrie's blog☆565Updated 2 years ago
- ☆3,426Updated 4 years ago
- A (non overwhelming) list of Machine Learning resources for beginners☆624Updated 8 years ago
- A collection of SQL queries to social media datasets.☆1,544Updated 5 years ago
- 👨🏭Set up your Linux server with plain shell scripts☆1,176Updated 3 years ago
- like ~~grep~~ UBER, but for binaries☆1,739Updated 2 years ago
- Make a self hosted OpenVPN server in 15 minutes☆808Updated 8 years ago
- Big-O Complexities / Poster of common algorithms used in Computer Science☆1,653Updated 3 years ago
- A short description of the C++ build process☆1,210Updated last month
- security tips for startups☆4,626Updated 3 years ago
- ultrafast single TCP packet audio/visual experience☆1,401Updated 11 months ago
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,809Updated last year
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,330Updated 2 years ago
- Release one side project per month, log your results here!☆420Updated 6 years ago
- Musings on building groundbreaking technology companies.☆426Updated 7 years ago
- Learn to crypto workshop☆1,672Updated 3 years ago
- All CPU and MCU documentation in one place☆1,947Updated 2 years ago
- A libre cross-platform disassembler.☆1,443Updated 6 years ago
- Validator for HTTP☆933Updated 6 years ago
- Curated list of Awesome Youtube Channels about Programming☆374Updated 2 years ago
- Docker, Kubernetes and Gravity Trainings by Gravitational☆2,027Updated 2 years ago
- A document version of my "Vipassana for Hackers" talk☆595Updated last year