5 open source projects by jepsen-io

A framework for distributed systems verification, with fault injection

A workbench for writing toy implementations of distributed systems.

Verifies the linearizability of experimentally accessible histories.

Jepsen tests for the Tendermint distributed byzantine consensus system

Black-box transactional safety checker based on cycle detection