jepsen-io/faunadb jepsen-io/faunadb

  • Stars
    star
    1
  • Language
  • Created about 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jepsen-io/faunadb
github

jepsen-io

Reviews

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

Repository Details

FaunaDB tests

More 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