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.☆117Updated 2 years ago
- ☆21Updated 4 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆24Updated 2 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Updated 5 years ago
- ☆290Updated 2 years ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆170Updated 5 months ago
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- Python implementation of TPC-C☆151Updated 2 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆30Updated 3 months ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆92Updated 3 years ago
- ☆35Updated 3 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- In Spec We Trust☆42Updated 5 months ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated last year
- Software Transactional Objects☆56Updated last year
- Run TLC in cmd☆15Updated last year
- A Database System for Research and Fast Prototyping☆112Updated last month
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Updated 3 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Updated 4 years ago
- ☆21Updated 4 years ago
- ☆51Updated last year
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆74Updated last year
- Fast linearizability checker☆67Updated 10 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆328Updated 4 years ago
- Database Benchmarking Framework☆414Updated 4 years ago
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆265Updated 7 years ago
- TLA+ model checking guided testing for distributed systems☆17Updated last year
- Sundial: A distributed OLTP database testbed.☆38Updated 5 years ago
- Query Optimizer Testing Framework for Postgres compatible DBs☆20Updated 7 months ago