Jepsen

jepsen

A framework for distributed systems verification, with fault injection

maelstrom

A workbench for writing toy implementations of distributed systems.

elle

Black-box transactional safety checker based on cycle detection

knossos

Verifies the linearizability of experimentally accessible histories.

tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system

mongodb

MongoDB Jepsen tests

etcd

Jepsen tests for etcd

redis

Jepsen tests for Redis-Raft

local-fs

Jepsen tests for local filesystems, running on a single node.

voltdb

VoltDB Jepsen test

datomic

Jepsen tests for the Datomic distributed database

postgres

Jepsen tests for PostgreSQL

scylla

Jepsen tests for ScyllaDB

history

Support library for working with Jepsen histories

history.sim

Deterministic simulation of Jepsen histories for testing database checkers

ravendb

Jepsen tests for RavenDB

redpanda

Tests for the Redpanda distributed queue

mysql

Tests for MySQL and MariaDB

radix-dlt

Jepsen tests for the Radix distributed ledger system

libfaketime

libfaketime modifies the system time for a single application

percona-gr

Tests for Percona Server with Group Replication

aerospike-client-java

Aerospike Java Client Library

comdb2

Bloomberg's distributed RDBMS

faunadb

FaunaDB tests

jepsen-training-vpc

materialize

Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.

rds

Library for launching AWS RDS clusters