Alternatives and similar repositories for awesome-safety-critical:

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

• green7ea / blog
  A short description of the C++ build process
  ☆1,209Updated 7 months ago
• abdelhai / devblogs
  +2600 developer-related blogs and publications.
  ☆637Updated 7 years ago
• sangupta / ps
  Problem Solving
  ☆898Updated 5 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆752Updated 7 years ago
• diracdeltas / FastestWebsiteEver
  ultrafast single TCP packet audio/visual experience
  ☆1,404Updated 7 months ago
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆792Updated 4 years ago
• roberdam / Xaddress
  Xaddress - Give 7 billion people an instant physical address
  ☆1,185Updated 2 years ago
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆529Updated 2 years ago
• heathermiller / dist-prog-book
  ☆3,430Updated 4 years ago
• btrask / stronglink
  A searchable, syncable, content-addressable notetaking system
  ☆1,033Updated 8 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,388Updated 5 years ago
• sodium-friends / learntocrypto
  Learn to crypto workshop
  ☆1,672Updated 2 years ago
• Nax / longflow-manifesto
  The longflow manifesto
  ☆631Updated 8 years ago
• zevv / lsofgraph
  lsof to graphviz
  ☆1,020Updated 5 years ago
• marciok / Mu
  It's a Swift playground explaining how to create a tiny programming language named Mu
  ☆1,047Updated 5 years ago
• jeaye / value-category-cheatsheet
  A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more
  ☆405Updated last year
• crypto101 / book
  Crypto 101, the introductory book on cryptography.
  ☆3,031Updated last year
• lukego / blog
  Luke Gorrie's blog
  ☆565Updated last year
• pch / welder
  👨‍🏭Set up your Linux server with plain shell scripts
  ☆1,174Updated 3 years ago
• danluu / debugging-stories
  A collection of debugging stories. PRs welcome (sorry for the backlog) :-)
  ☆3,784Updated 9 months ago
• kstenerud / bo
  The Swiss army knife of data examination and manipulation
  ☆333Updated 6 years ago
• m4b / bingrep
  like ~~grep~~ UBER, but for binaries
  ☆1,722Updated 2 years ago
• espadrine / succinct-cybernetics
  Computer Science Cheatsheets.
  ☆1,601Updated 4 years ago
• Fakerr / git-recall
  An interactive way to peruse your git history from the terminal
  ☆2,117Updated 3 years ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,548Updated 5 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,913Updated 2 years ago
• forter / security-101-for-saas-startups
  security tips for startups
  ☆4,618Updated 2 years ago
• vfaronov / httpolice
  Validator for HTTP
  ☆932Updated 5 years ago
• spolu / warp
  Secure and simple terminal sharing
  ☆1,619Updated 7 years ago
• nodesocket / jsonlite
  A simple, self-contained, serverless, zero-configuration, json document store.
  ☆844Updated last week