jepsen-io/faunadb

Stars
1
Language
Created almost 6 years ago
Updated over 1 year ago

jepsen-io/faunadb

jepsen-io

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

FaunaDB tests

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.

tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system

mongodb

MongoDB Jepsen tests

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

datomic

Jepsen tests for the Datomic distributed database

scylla

Jepsen tests for ScyllaDB

postgres

Jepsen tests for PostgreSQL

history

Support library for working with Jepsen histories

history.sim

Deterministic simulation of Jepsen histories for testing database checkers

ravendb

Jepsen tests for RavenDB

redpanda

Tests for the Redpanda distributed queue

mysql

Tests for MySQL and MariaDB

radix-dlt

Jepsen tests for the Radix distributed ledger system

percona-gr

Tests for Percona Server with Group Replication