DBCobra / CobraHomeLinks
☆11Updated 4 years ago
Alternatives and similar repositories for CobraHome
Users that are interested in CobraHome are comparing it to the libraries listed below
Sorting:
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆115Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- In Spec We Trust☆35Updated 3 weeks ago
- Run TLC in cmd☆15Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- ☆21Updated 3 years ago
- ☆289Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- Software Transactional Objects☆58Updated last year
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆90Updated 2 years ago
- ☆51Updated last year
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- ☆30Updated 2 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆12Updated 3 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- ☆21Updated 3 years ago
- ☆11Updated 6 months ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated last year
- The Documentation for the Random Query Generator project☆48Updated 13 years ago
- Python implementation of TPC-C☆146Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- ☆26Updated 3 years ago
- Benchmarking framework for index structures on persistent memory☆88Updated last year
- ☆144Updated 2 years ago
- NVM Evaluation Testbed☆29Updated 6 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated last year