jepsen-io/redis jepsen-io/redis

  • Stars
    star
    14
  • Rank 1,394,987 (Top 29 %)
  • Language
    Clojure
  • License
    Eclipse Public Li...
  • Created about 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jepsen-io/redis
github

jepsen-io

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Jepsen tests for Redis-Raft

More Repositories

1

jepsen

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

maelstrom

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

elle

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

knossos

Verifies the linearizability of experimentally accessible histories.
Clojure
393
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
20
star
8

local-fs

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

voltdb

VoltDB Jepsen test
Clojure
10
star
10

scylla

Jepsen tests for ScyllaDB
Clojure
8
star
11

postgres

Jepsen tests for PostgreSQL
Clojure
8
star
12

history

Support library for working with Jepsen histories
Clojure
7
star
13

history.sim

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

ravendb

Jepsen tests for RavenDB
Clojure
5
star
15

redpanda

Tests for the Redpanda distributed queue
Clojure
5
star
16

radix-dlt

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

mysql

Tests for MySQL and MariaDB
Clojure
4
star
18

percona-gr

Tests for Percona Server with Group Replication
Clojure
2
star
19

faunadb

FaunaDB tests
1
star