DBCobra / CobraHome
☆11Updated 4 years ago
Alternatives and similar repositories for CobraHome:
Users that are interested in CobraHome are comparing it to the libraries listed below
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆114Updated 2 years ago
- In Spec We Trust☆34Updated 3 months ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated last year
- Run TLC in cmd☆15Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Updated 4 years ago
- ☆21Updated 3 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 11 months ago
- An automated prover that verifies the equivalence of SQL queries☆36Updated 7 months ago
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- ☆285Updated 2 years ago
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆55Updated 5 months ago
- ☆30Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆73Updated 11 months ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated last year
- ☆71Updated this week
- Software Transactional Objects☆58Updated 11 months ago
- ☆21Updated 3 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆12Updated 3 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- ☆20Updated last year
- Fast TPC-C input generator in c++☆16Updated 3 years ago
- ☆26Updated 2 years ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆15Updated last year
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 5 years ago
- Benchmarking framework for index structures on persistent memory☆89Updated last year
- go-sqlancer☆77Updated 4 years ago
- A collection of work related to Database Optimization.☆45Updated 3 years ago