Jepsen (@jepsen-io)
Guthub

jepsen-io

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10,849
  • Global Org. Rank 2,203 (Top 0.7 %)
  • Registered over 8 years ago
  • Most used languages
    Clojure
         95.0 %
    Isabelle     5.0 %

Top repositories

1

jepsen

A framework for distributed systems verification, with fault injection
Clojure
6,764
star
2

maelstrom

A workbench for writing toy implementations of distributed systems.
Clojure
2,939
star
3

elle

Black-box transactional safety checker based on cycle detection
Isabelle
640
star
4

knossos

Verifies the linearizability of experimentally accessible histories.
Clojure
397
star
5

tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system
Clojure
25
star
6

mongodb

MongoDB Jepsen tests
Clojure
24
star
7

etcd

Jepsen tests for etcd
Clojure
21
star
8

redis

Jepsen tests for Redis-Raft
Clojure
14
star
9

local-fs

Jepsen tests for local filesystems, running on a single node.
Clojure
13
star
10

voltdb

VoltDB Jepsen test
Clojure
10
star
11

datomic

Jepsen tests for the Datomic distributed database
Clojure
9
star
12

scylla

Jepsen tests for ScyllaDB
Clojure
8
star
13

postgres

Jepsen tests for PostgreSQL
Clojure
8
star
14

history

Support library for working with Jepsen histories
Clojure
7
star
15

history.sim

Deterministic simulation of Jepsen histories for testing database checkers
Clojure
5
star
16

ravendb

Jepsen tests for RavenDB
Clojure
5
star
17

redpanda

Tests for the Redpanda distributed queue
Clojure
5
star
18

mysql

Tests for MySQL and MariaDB
Clojure
4
star
19

radix-dlt

Jepsen tests for the Radix distributed ledger system
Clojure
4
star
20

percona-gr

Tests for Percona Server with Group Replication
Clojure
2
star
21

faunadb

FaunaDB tests
1
star