Jepsen ORG

A framework for distributed systems verification, with fault injection

A Clojure testing framework that deliberately crashes nodes and cuts network connections in a live distributed database, then checks whether the recorded history of operations is logically consistent with the system's guarantees.

A workbench for writing toy implementations of distributed systems.

Black-box transactional safety checker based on cycle detection

Verifies the linearizability of experimentally accessible histories.

Jepsen tests for the Tendermint distributed byzantine consensus system

MongoDB Jepsen tests

Jepsen tests for etcd

Jepsen tests for Redis-Raft

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

Jepsen tests for PostgreSQL

Jepsen tests for the NATS streaming system

Jepsen tests for the Datomic distributed database

VoltDB Jepsen test

Jepsen tests for ScyllaDB

Support library for working with Jepsen histories

Jepsen tests for the TigerBeetle distributed database

Tests for MySQL and MariaDB

Deterministic simulation of Jepsen histories for testing database checkers

Jepsen tests for the DuckDB database

Tests for the Redpanda distributed queue

Jepsen tests for RavenDB

Jepsen tests for the Radix distributed ledger system

Tests for Percona Server with Group Replication

Jepsen tests for the Bufstream distributed log service

libfaketime modifies the system time for a single application

Support for testing SQL systems with Jepsen and JDBC

Jepsen tests for the Zookeeper coordination system

Library for launching AWS RDS clusters

No description.

Bloomberg's distributed RDBMS

Jepsen tests for the Elasticsearch search index

Jepsen tests for YugaByteDB

Jepsen tests for the TiDB distributed SQL DB

Jepsen tests for the Stolon PostgreSQL replication system

Jepsen tests for RethinkDB

Jepsen tests for the RabbitMQ message queue

Jepsen tests for the LogCabin consensus system

Jepsen tests for Ignite

Jepsen tests for the Hazelcast in-memory data grid

FaunaDB tests

Jepsen tests for Galera Cluster

Jepsen tests for the Disque queue system

Jepsen tests for the DGraph graph database

Jepsen tests for the CrateDB database

Jepsen tests for the Consul coordination system

Jepsen tests for the CockroachDB distributed database

Jepsen tests for the Chronos task scheduler

Jepsen tests for the Aerospike database

Jepsen tests for the Capela distributed programming environment

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

Aerospike Java Client Library