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.☆115Updated 2 years ago
- ☆21Updated 3 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- In Spec We Trust☆35Updated 3 weeks ago
- Run TLC in cmd☆15Updated last year
- ☆287Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated last year
- Java Skeleton Code for 6.035☆8Updated 4 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
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆88Updated 2 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆18Updated 8 years ago
- ☆51Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- Benchmarking framework for index structures on persistent memory☆89Updated last year
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆255Updated 6 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated last month
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆56Updated last week
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- ☆37Updated last year
- Software Transactional Objects☆58Updated last year
- ☆143Updated 2 years ago
- An automated prover that verifies the equivalence of SQL queries☆37Updated 8 months ago
- A Database System for Research and Fast Prototyping☆102Updated last month
- 数据库测试资料 This repo is a collection of resources on testing database systems☆167Updated last year
- ☆72Updated last month