Explore @jepsen-io Open Source projects

Jepsen (@jepsen-io)

jepsen-io

Stars
10,310
Global Org. Rank 2,232 (Top 0.8 %)
Registered almost 8 years ago
Most used languages

Clojure
94.4 %

Isabelle 5.6 %

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.

mongodb

MongoDB Jepsen tests

tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system

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

scylla

Jepsen tests for ScyllaDB

ravendb

Jepsen tests for RavenDB

history

Support library for working with Jepsen histories

redpanda

Tests for the Redpanda distributed queue

history.sim

Deterministic simulation of Jepsen histories for testing database checkers

radix-dlt

Jepsen tests for the Radix distributed ledger system

mysql

Tests for MySQL and MariaDB

faunadb

percona-gr

Tests for Percona Server with Group Replication