jepsen-io / mongodb
MongoDB Jepsen tests
☆24Updated last year
Related projects: ⓘ
- Jepsen and Elle based Consistency Checking Interface☆21Updated 2 years ago
- personal git mirror of sqllogictest☆36Updated 3 weeks ago
- Embedded InnoDB based on v5.1☆20Updated 2 weeks ago
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- ☆19Updated 5 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆99Updated 6 months ago
- Append-only key-value database on a distributed shared-log☆49Updated last month
- ☆14Updated 4 years ago
- Extensible SQL Lexer and Parser for Rust☆12Updated 2 years ago
- Accord library for Apache Cassandra®☆62Updated this week
- ☆26Updated 2 years ago
- A fast and space efficient Radix tree in Java☆117Updated 4 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆23Updated 4 years ago
- Java implementation of TPC-C benchmark☆38Updated 7 years ago
- RocksDB compatible key value store and MyRocks compatible storage engine designed for KV SSD☆46Updated 2 years ago
- A collection of state machine replication protocols☆118Updated last year
- Data sets and Vagrant script to provision a virtual machine for Apache Calcite development☆28Updated last year
- CockroachDB load generators☆30Updated 5 years ago
- CRDTs implemented in Redis☆52Updated last year
- Time, Clocks, and the Ordering of Events☆39Updated 3 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 2 years ago
- A port of Akka's Phi Accrual Failure Detector☆53Updated last year
- FoundationDB Correctness service☆28Updated 3 weeks ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- TLA+ specifications for Raft and variants☆57Updated 2 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- ☆31Updated 3 months ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 2 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆49Updated 5 years ago