A workbench for writing toy implementations of distributed systems.

• UpdatedFeb 4, 2025
• Clojure

Curated list of resources on testing distributed systems

• UpdatedMar 2, 2025
• HTML

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

• UpdatedMar 4, 2025
• Clojure

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

• UpdatedMay 31, 2023
• Rust

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

• UpdatedDec 4, 2018
• Clojure

Gossip Glomers solutionhttps://fly.io/dist-sys/

• UpdatedSep 12, 2024
• Go

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

• UpdatedNov 25, 2024
• Lua

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

• UpdatedJan 23, 2022
• Rust

Jepsen tests for Tarantool

• UpdatedJun 15, 2023
• Clojure

Jepsen test for TiKV

• UpdatedJun 7, 2021
• Clojure

Testing PowerSync with Jepsen for Causual Consistency, atomic transactions, and strong convergence.

• UpdatedMar 22, 2025
• Dart

Property testing distributed applications with fault injection and verification.

• UpdatedOct 12, 2022
• Clojure

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

• UpdatedMar 28, 2019
• Clojure

My attempts athttps://fly.io/dist-sys/

• UpdatedApr 9, 2023
• Rust

This is to set up an 8 node ceph cluster with Vagrant to test ceph with Jepsen, japsen is optional

• UpdatedMay 4, 2017

Rust solutions for the fly.io distributed systems challenge

• UpdatedMay 2, 2023
• Rust

Jepsen Tests for Causal Consistency

• UpdatedMar 15, 2025
• Clojure

My solution to `Maelstrom` challenge by fly.io

• UpdatedMay 15, 2023
• Rust

A workaround for docker compose's lack of support for configuring systemd containers.

• UpdatedApr 14, 2023
• Shell

Jepsen maelstrom CRDT servers in Go

• UpdatedJun 15, 2023
• Go