jepsen-io / maelstrom
A workbench for writing toy implementations of distributed systems.
☆3,040Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for maelstrom
- A model checker for implementing distributed systems.☆1,572Updated last month
- Techniques and numbers for estimating system's performance from first-principles☆3,758Updated last month
- (educational) build your own disk based KV store☆1,201Updated 3 months ago
- A collection of awesome CRDT resources☆1,219Updated 3 years ago
- A framework for distributed systems verification, with fault injection☆6,815Updated 2 weeks ago
- Black-box transactional safety checker based on cycle detection☆641Updated last month
- Build Postgres Extensions with Rust!☆3,665Updated this week
- Class materials for a distributed systems lecture series☆9,053Updated last year
- Fast web applications through dynamic, partially-stateful dataflow☆4,999Updated 3 years ago
- Queueing theory: an introduction for software development☆2,135Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆2,581Updated last week
- Curated list of resources on testing distributed systems☆2,490Updated last week
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,450Updated 3 weeks ago
- Interesting readings and talks on computer science☆671Updated 3 months ago
- A distributed system for running WebSocket services at scale.☆1,732Updated this week
- A cloud native embedded storage engine built on object storage.☆1,471Updated this week
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,405Updated this week
- FUSE-based file system for replicating SQLite databases across a cluster of machines☆4,040Updated last month
- A fast linearizability checker written in Go 🔎☆926Updated 5 months ago
- An easy-to-use, zero-downtime schema migration tool for Postgres☆1,723Updated last month
- A list of papers about distributed consensus.☆2,518Updated 3 months ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,638Updated 7 months ago
- The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.☆5,798Updated this week
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.☆3,988Updated this week
- The Feldera Incremental Computation Engine☆720Updated this week
- Awesome materials about database development.☆1,410Updated 7 months ago
- ☆3,425Updated 3 years ago
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,314Updated this week
- Awesome list of distributed transactions☆724Updated 3 years ago
- Distributed SQL database in Rust, written as an educational project☆6,220Updated last month