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
- Run TLC in cmd☆15Updated last year
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- ☆21Updated 3 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆90Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆1Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- In Spec We Trust☆36Updated last month
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆12Updated 3 years ago
- ☆51Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ☆11Updated 7 months ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- Software Transactional Objects☆58Updated last year
- TLA+ model checking guided testing for distributed systems☆16Updated last year
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated this week
- ☆26Updated 3 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated 2 years ago
- ☆21Updated last year
- Benchmarking framework for index structures on persistent memory☆88Updated last year
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- ☆289Updated 2 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- ☆146Updated 2 years ago
- Self-Tuning Adaptive Radix Tree☆27Updated 5 years ago
- Fast linearizability checker☆66Updated 10 years ago
- A transactional main-memory database system on multicores☆104Updated 6 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago