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
• tomepel / Technical_Book_DL
  This note presents in a technical though hopefully pedagogical way the three most common forms of neural network architectures: Feedforwa…
  ☆1,387Updated 6 years ago
• abdelhai / devblogs
  +2600 developer-related blogs and publications.
  ☆637Updated 8 years ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,618Updated last year
• espadrine / succinct-cybernetics
  Computer Science Cheatsheets.
  ☆1,601Updated 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
• green7ea / blog
  A short description of the C++ build process
  ☆1,208Updated 4 months ago
• diracdeltas / FastestWebsiteEver
  ultrafast single TCP packet audio/visual experience
  ☆1,402Updated last year
• forter / security-101-for-saas-startups
  security tips for startups
  ☆4,622Updated 3 years ago
• Nax / longflow-manifesto
  The longflow manifesto
  ☆630Updated 8 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆566Updated 2 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆751Updated 7 years ago
• mdipierro / nlib
  The book "Annotated Algorithms in Python" and the nlib.py library
  ☆1,333Updated 2 years ago
• keon / awesome-bits
  A curated list of awesome bitwise operations and tricks
  ☆3,098Updated 2 years ago
• SamPutnam / Index-2025
  ☆2,187Updated this week
• heathermiller / dist-prog-book
  ☆3,422Updated 4 years ago
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆531Updated 3 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,960Updated 2 years ago
• vfaronov / httpolice
  Validator for HTTP
  ☆934Updated 6 years ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,546Updated 5 years ago
• nemild / hack-the-media
  This repo collects examples of intentional and unintentional hacks of media sources
  ☆1,277Updated last month
• pch / welder
  👨‍🏭Set up your Linux server with plain shell scripts
  ☆1,175Updated 4 years ago
• ro31337 / bigoposter
  Big-O Complexities / Poster of common algorithms used in Computer Science
  ☆1,657Updated 3 years ago
• susam / gitpr
  Quick reference guide on fork and pull request workflow
  ☆962Updated last year
• MichielDerhaeg / build-linux
  A short tutorial about building Linux based operating systems.
  ☆5,206Updated last year
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• Fakerr / git-recall
  An interactive way to peruse your git history from the terminal
  ☆2,119Updated 4 years ago
• kendricktan / non-overwhelming-machine-learning
  A (non overwhelming) list of Machine Learning resources for beginners
  ☆624Updated 8 years ago
• analang / como-lang-ng
  como-lang-ng is now ana-lang, located at https://github.com/analang/ana
  ☆343Updated 6 years ago