There are no reviews yet. Be the first to send feedback to the community and the maintainers!
jepsen
A framework for distributed systems verification, with fault injectionmaelstrom
A workbench for writing toy implementations of distributed systems.elle
Black-box transactional safety checker based on cycle detectionknossos
Verifies the linearizability of experimentally accessible histories.tendermint
Jepsen tests for the Tendermint distributed byzantine consensus systemmongodb
MongoDB Jepsen testsetcd
Jepsen tests for etcdredis
Jepsen tests for Redis-Raftlocal-fs
Jepsen tests for local filesystems, running on a single node.voltdb
VoltDB Jepsen testscylla
Jepsen tests for ScyllaDBpostgres
Jepsen tests for PostgreSQLhistory
Support library for working with Jepsen historieshistory.sim
Deterministic simulation of Jepsen histories for testing database checkersravendb
Jepsen tests for RavenDBredpanda
Tests for the Redpanda distributed queueradix-dlt
Jepsen tests for the Radix distributed ledger systemmysql
Tests for MySQL and MariaDBpercona-gr
Tests for Percona Server with Group Replicationfaunadb
FaunaDB testsLove Open Source and this site? Check out how you can help us