Alternatives and similar repositories for awesome-safety-critical

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

• abdelhai / devblogs
  +2600 developer-related blogs and publications.
  ☆637Updated 8 years ago
• sangupta / ps
  Problem Solving
  ☆896Updated 6 years ago
• btrask / stronglink
  A searchable, syncable, content-addressable notetaking system
  ☆1,036Updated 8 years ago
• pch / welder
  👨‍🏭Set up your Linux server with plain shell scripts
  ☆1,176Updated 3 years ago
• espadrine / succinct-cybernetics
  Computer Science Cheatsheets.
  ☆1,602Updated 4 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆751Updated 7 years ago
• kendricktan / non-overwhelming-machine-learning
  A (non overwhelming) list of Machine Learning resources for beginners
  ☆624Updated 8 years ago
• forter / security-101-for-saas-startups
  security tips for startups
  ☆4,623Updated 3 years ago
• Nax / longflow-manifesto
  The longflow manifesto
  ☆630Updated 8 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆566Updated 2 years ago
• diracdeltas / FastestWebsiteEver
  ultrafast single TCP packet audio/visual experience
  ☆1,403Updated last year
• keon / awesome-bits
  A curated list of awesome bitwise operations and tricks
  ☆3,098Updated 2 years ago
• sodium-friends / learntocrypto
  Learn to crypto workshop
  ☆1,670Updated 3 years ago
• ro31337 / bigoposter
  Big-O Complexities / Poster of common algorithms used in Computer Science
  ☆1,657Updated 3 years ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,617Updated last year
• vfaronov / httpolice
  Validator for HTTP
  ☆934Updated 6 years ago
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆532Updated 3 years ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,544Updated 5 years ago
• green7ea / blog
  A short description of the C++ build process
  ☆1,210Updated 3 months ago
• mdipierro / nlib
  The book "Annotated Algorithms in Python" and the nlib.py library
  ☆1,332Updated 2 years ago
• robbintt / popup-openvpn
  Make a self hosted OpenVPN server in 15 minutes
  ☆809Updated 8 years ago
• opieters / business-card
  A business card in LaTeX.
  ☆694Updated 3 years ago
• bradfitz / homelab
  Brad's homelab setup
  ☆1,913Updated 5 years ago
• Fakerr / git-recall
  An interactive way to peruse your git history from the terminal
  ☆2,118Updated 4 years ago
• coffeemug / defstartup
  Musings on building groundbreaking technology companies.
  ☆426Updated 7 years ago
• SamPutnam / Index-2025
  ☆2,188Updated last month
• teesloane / Auth-Boss
  🔒 Become an Auth Boss. Learn about different authentication methodologies on the web.
  ☆2,886Updated 8 years ago
• roberdam / Xaddress
  Xaddress - Give 7 billion people an instant physical address
  ☆1,186Updated 2 years ago
• 1ppm / 1ppmLog
  Release one side project per month, log your results here!
  ☆420Updated 6 years ago
• torchhound / warren
  Links to lose yourself in, curated from HN and other sources
  ☆373Updated 6 years ago