Alternatives and similar repositories for ConcDistSys-demos

Users that are interested in ConcDistSys-demos are comparing it to the libraries listed below

• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 11 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 9 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆77Updated 11 months ago
• muratdem / MDBTLA
  High level model for MongoDB consistency
  ☆13Updated 2 weeks ago
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated last year
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 5 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆38Updated 3 months ago
• redixhumayun / dst
  ☆16Updated 7 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆18Updated 2 months ago
• vaibhawvipul / minimal-raft
  a minimalistic implementation of RAFT algorithm
  ☆25Updated last year
• Gifted-s / velarixdb
  An LSM storage engine designed for high throughput and significant reduction in I/O amplification written in safe rust (Under active dev…
  ☆28Updated last month
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆232Updated 2 weeks ago
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated last week
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆61Updated 8 months ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 9 months ago
• JRMurr / SQLJr
  Toy DB to get more sytems expereince
  ☆27Updated 2 years ago
• justinj / nulldb
  ☆13Updated last year
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆22Updated 5 months ago
• Apress / db-performance-at-scale
  Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…
  ☆122Updated 2 weeks ago
• MohamedAbdeen21 / niwid-db
  A toy, ACID compliant, and Relational-ish DBMS built from scratch
  ☆37Updated this week
• eatonphil / eatonphil.com
  eatonphil.com
  ☆23Updated this week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• tidwall / bgen
  B-tree generator for C
  ☆138Updated 2 months ago
• logicforprogrammers / book-assets
  Assets for the book "Logic for Programmers"
  ☆19Updated last month
• geoffreycopin / rqlite
  ☆73Updated last week
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆71Updated 7 months ago