Alternatives and similar repositories for class

Users that are interested in class are comparing it to the libraries listed below

• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• tidwall / bgen
  B-tree generator for C
  ☆143Updated 5 months ago
• ckirsch / book
  ☆121Updated 10 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 9 months ago
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆207Updated 3 years ago
• lucavallin / gnaro
  A proto-database inspired by SQLite for educational purposes.
  ☆86Updated 3 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆223Updated 6 months ago
• ayende / libgavran
  Experimenting with persistence in C
  ☆186Updated 3 years ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated last year
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆126Updated 2 months ago
• mrnugget / data_structures
  Implementations of common data structures in C
  ☆15Updated 3 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆258Updated last week
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆42Updated 5 months ago
• eatonphil / zigrocks
  Writing a SQL database, take two: Zig and RocksDB
  ☆158Updated 2 years ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆242Updated 4 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• goblint / cil
  C Intermediate Language
  ☆153Updated last month
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 5 months ago
• DBOS-project / voltdb
  ☆15Updated 8 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 5 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆171Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆143Updated this week
• rtheunissen / bst
  Implementing 20+ binary search trees to compare balancing strategies
  ☆47Updated last month
• jamii / jams
  ☆183Updated 4 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆47Updated 4 months ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆99Updated this week