Alternatives and similar repositories for maelstrom

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

• sirupsen / napkin-math
  Techniques and numbers for estimating system's performance from first-principles
  ☆4,755Updated last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,765Updated 5 months ago
• avinassh / py-caskdb
  (educational) build your own disk based KV store
  ☆1,345Updated last year
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,599Updated 3 weeks ago
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,288Updated this week
• ept / hermitage
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,653Updated last year
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,253Updated 9 months ago
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆724Updated 11 months ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,354Updated 4 years ago
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,216Updated 4 years ago
• joelparkerhenderson / queueing-theory
  Queueing theory: an introduction for software development
  ☆2,182Updated 9 months ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,895Updated last month
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,438Updated this week
• heathermiller / dist-prog-book
  ☆3,421Updated 4 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,129Updated 3 weeks ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆732Updated 4 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆686Updated last month
• automerge / automerge
  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
  ☆5,864Updated this week
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,629Updated 3 years ago
• erikgrinaker / toydb
  Distributed SQL database in Rust, written as an educational project
  ☆7,154Updated this week
• superfly / corrosion
  Gossip-based service discovery (and more) for large distributed systems.
  ☆1,562Updated 3 weeks ago
• obi1kenobi / trustfall
  A query engine for any combination of data sources. Query your files and APIs as if they were databases!
  ☆2,809Updated this week
• pfrazee / crdt_notes
  ☆1,046Updated 10 years ago
• tontinton / dbeel
  A distributed thread-per-core document database
  ☆536Updated 2 years ago
• copyconstruct / library
  A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…
  ☆566Updated 6 years ago
• MaterializeInc / materialize
  The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
  ☆6,201Updated last week
• pingcap / talent-plan
  open source training courses about distributed database and distributed systems
  ☆10,796Updated 2 years ago
• tlaplus / tlaplus
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
  ☆2,582Updated last week
• hwayne / awesome-cold-showers
  For when people get too hyped up about things
  ☆7,341Updated 2 years ago
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,372Updated last week