jepsen-io / mongodb
MongoDB Jepsen tests
☆25Updated last year
Alternatives and similar repositories for mongodb:
Users that are interested in mongodb are comparing it to the libraries listed below
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- ☆13Updated 5 years ago
- personal git mirror of sqllogictest☆41Updated 3 months ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆50Updated 6 years ago
- ☆21Updated 3 years ago
- Append-only key-value database on a distributed shared-log☆49Updated 8 months ago
- Migration tools for TiKV, e.g. online bulk load.☆38Updated 3 weeks ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆29Updated last year
- Jepsen tests for Redis-Raft☆14Updated 3 years ago
- Data sets and Vagrant script to provision a virtual machine for Apache Calcite development☆30Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- ☆18Updated 6 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 3 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 8 months ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- In a nutshell, EinsteinDB is a persistent indexing scheme based off of LSH-KVX that exploits the distinct merits of hash index and B+-Tre…☆25Updated last year
- ☆55Updated 2 years ago
- This is a distributed kv project to demonstrate how to use matrixcube☆17Updated 2 years ago
- FoundationDB Correctness service☆29Updated last month
- Java implementation of TPC-C benchmark☆39Updated 8 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- Fast linearizability checker☆66Updated 9 years ago
- ☆26Updated 3 years ago
- Tool to tune TiKV with ML method☆64Updated 4 years ago
- Extensible SQL Lexer and Parser for Rust☆12Updated 3 years ago
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 4 years ago
- A distributed database benchmark based on TAO's workload☆38Updated last year