Alternatives and similar repositories for awesome-safety-critical

Users that are interested in awesome-safety-critical are comparing it to the libraries listed below

• sangupta / ps
  Problem Solving
  ☆896Updated 6 years ago
• abdelhai / devblogs
  +2600 developer-related blogs and publications.
  ☆638Updated 8 years ago
• green7ea / blog
  A short description of the C++ build process
  ☆1,208Updated 3 months ago
• espadrine / succinct-cybernetics
  Computer Science Cheatsheets.
  ☆1,602Updated 4 years ago
• btrask / stronglink
  A searchable, syncable, content-addressable notetaking system
  ☆1,036Updated 8 years ago
• sodium-friends / learntocrypto
  Learn to crypto workshop
  ☆1,672Updated 3 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆566Updated 2 years ago
• Nax / longflow-manifesto
  The longflow manifesto
  ☆630Updated 8 years ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,546Updated 5 years ago
• pch / welder
  👨‍🏭Set up your Linux server with plain shell scripts
  ☆1,175Updated 4 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆751Updated 7 years ago
• keon / awesome-bits
  A curated list of awesome bitwise operations and tricks
  ☆3,098Updated 2 years ago
• Fakerr / git-recall
  An interactive way to peruse your git history from the terminal
  ☆2,118Updated 4 years ago
• forter / security-101-for-saas-startups
  security tips for startups
  ☆4,624Updated 3 years ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,617Updated last year
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆532Updated 3 years ago
• diracdeltas / FastestWebsiteEver
  ultrafast single TCP packet audio/visual experience
  ☆1,403Updated last year
• 1ppm / 1ppmLog
  Release one side project per month, log your results here!
  ☆419Updated 6 years ago
• bradfitz / homelab
  Brad's homelab setup
  ☆1,917Updated 5 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆621Updated 4 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,959Updated 2 years ago
• robbintt / popup-openvpn
  Make a self hosted OpenVPN server in 15 minutes
  ☆809Updated 8 years ago
• vfaronov / httpolice
  Validator for HTTP
  ☆934Updated 6 years ago
• MichielDerhaeg / build-linux
  A short tutorial about building Linux based operating systems.
  ☆5,171Updated last year
• susam / gitpr
  Quick reference guide on fork and pull request workflow
  ☆962Updated last year
• heathermiller / dist-prog-book
  ☆3,429Updated 4 years ago
• Yelp / undebt
  A fast, straightforward, reliable tool for performing massive, automated code refactoring
  ☆1,630Updated 4 years ago
• kendricktan / non-overwhelming-machine-learning
  A (non overwhelming) list of Machine Learning resources for beginners
  ☆624Updated 8 years ago
• sakurity / securelogin
  moved ->
  ☆1,216Updated 6 years ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆594Updated last year