jepsen

A workbench for writing toy implementations of distributed systems.

Curated list of resources on testing distributed systems

The command-line frontend to transactional consistency checkers for black-box databases

Rust node framework for building distributed systems for learning for https://github.com/jepsen-io/maelstrom / fly.io

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

A Jepsen Test for TigerBeetle.

Gossip Glomers solution https://fly.io/dist-sys/

A Rust crate to write toy distributed systems with Maelstrom as Actors.

Framework for distributed system's verification, with fault injection.

Testing PowerSync with Jepsen for Causual Consistency, Atomic transactions, and Strong Convergence.

Jepsen tests for Tarantool

Jepsen test for TiKV

Raft consensus algorithm implementation for a key-value store. Dependency-free, stdlib only. Passes Jepsen Maelstrom chaos testing

Crash-safe distributed job execution with fencing tokens, lease recovery and deterministic failure validation.

KayaDB distributed key-value storage engine

Distributed system testing using Jepsen to test the Orbs platform for network resiliency

Property testing distributed applications with fault injection and verification.

Rust solutions for the fly.io distributed systems challenge

My attempts at https://fly.io/dist-sys/

Linearizable replicated key-value store written from scratch in Rust — LSM storage engine, sans-IO Raft, and a FoundationDB-style deterministic simulator that has linearizability-checked 20,000 randomized failure schedules. No database, consensus, or RPC crates.