Alternatives and similar repositories for class

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

• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated 2 months ago
• lucavallin / gnaro
  A proto-database inspired by SQLite for educational purposes.
  ☆86Updated 7 months ago
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆128Updated 6 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆277Updated this week
• tidwall / bgen
  B-tree generator for C
  ☆145Updated 3 months ago
• ayende / libgavran
  Experimenting with persistence in C
  ☆190Updated 3 years ago
• GavinRay97 / rosetta-db
  ☆17Updated 3 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆245Updated 4 years ago
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆114Updated last month
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆55Updated last year
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆215Updated 3 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆108Updated 2 years ago
• mkirchner / hamt
  A hash array-mapped trie implementation in C
  ☆323Updated last year
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆235Updated last year
• ckirsch / book
  ☆122Updated last year
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆190Updated last year
• dancrossnyc / rxv64
  xv6 OS
  ☆245Updated 4 months ago
• dicksites / KUtrace
  Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, an…
  ☆685Updated last year
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆52Updated 2 months ago
• amelielabs / amelie
  Relational Database for High-Intensity, Contention-Free OLTP.
  ☆97Updated this week
• sampsyo / bril
  an educational compiler intermediate representation
  ☆734Updated this week
• micvbang / simple-event-broker
  event broker with a focus on low operational cost
  ☆49Updated 6 months ago
• goblint / cil
  C Intermediate Language
  ☆158Updated last week
• seeker89 / unikernels
  State of the art for unikernels
  ☆220Updated last year
• titzer / wizard-engine
  Research WebAssembly Engine
  ☆482Updated last week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆208Updated 9 months ago
• pveentjer / cpp_cpu_emulator
  A program written in C++ that emulates a bogus CPU
  ☆22Updated last year
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆349Updated 9 months ago
• samlambert / database-news-feeds
  ☆24Updated 6 months ago