Pinned Repositories
elle
Black-box transactional safety checker based on cycle detection
etcd
Jepsen tests for etcd
jepsen
A framework for distributed systems verification, with fault injection
knossos
Verifies the linearizability of experimentally accessible histories.
local-fs
Jepsen tests for local filesystems, running on a single node.
maelstrom
A workbench for writing toy implementations of distributed systems.
mongodb
MongoDB Jepsen tests
postgres
Jepsen tests for PostgreSQL
redis
Jepsen tests for Redis-Raft
tendermint
Jepsen tests for the Tendermint distributed byzantine consensus system
Jepsen's Repositories
jepsen-io/jepsen
A framework for distributed systems verification, with fault injection
jepsen-io/maelstrom
A workbench for writing toy implementations of distributed systems.
jepsen-io/elle
Black-box transactional safety checker based on cycle detection
jepsen-io/knossos
Verifies the linearizability of experimentally accessible histories.
jepsen-io/tendermint
Jepsen tests for the Tendermint distributed byzantine consensus system
jepsen-io/mongodb
MongoDB Jepsen tests
jepsen-io/etcd
Jepsen tests for etcd
jepsen-io/redis
Jepsen tests for Redis-Raft
jepsen-io/local-fs
Jepsen tests for local filesystems, running on a single node.
jepsen-io/postgres
Jepsen tests for PostgreSQL
jepsen-io/voltdb
VoltDB Jepsen test
jepsen-io/datomic
Jepsen tests for the Datomic distributed database
jepsen-io/history
Support library for working with Jepsen histories
jepsen-io/scylla
Jepsen tests for ScyllaDB
jepsen-io/mysql
Tests for MySQL and MariaDB
jepsen-io/history.sim
Deterministic simulation of Jepsen histories for testing database checkers
jepsen-io/ravendb
Jepsen tests for RavenDB
jepsen-io/redpanda
Tests for the Redpanda distributed queue
jepsen-io/radix-dlt
Jepsen tests for the Radix distributed ledger system
jepsen-io/libfaketime
libfaketime modifies the system time for a single application
jepsen-io/percona-gr
Tests for Percona Server with Group Replication
jepsen-io/aerospike-client-java
Aerospike Java Client Library
jepsen-io/bufstream
Jepsen tests for the Bufstream distributed log service
jepsen-io/comdb2
Bloomberg's distributed RDBMS
jepsen-io/faunadb
FaunaDB tests
jepsen-io/jepsen-training-vpc
jepsen-io/materialize
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
jepsen-io/rds
Library for launching AWS RDS clusters