jepsen topic

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

ligurio

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

ligurio

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

rystsov

Curated list of resources on testing distributed systems

asatarin

A workbench for writing toy implementations of distributed systems.

jepsen-io

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

sitano

A Jepsen Test for TigerBeetle.

nurturenature