adambcomer / WiscKey
Key-value database based on the WiscKey paper.
☆11Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for WiscKey
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆48Updated last month
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Updated 4 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆114Updated last year
- MongoDB Jepsen tests☆24Updated last year
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 6 years ago
- ☆21Updated last year
- Embedded InnoDB based on v5.1☆28Updated 3 weeks ago
- ☆17Updated last year
- An update-in-place key-value store for modern storage.☆132Updated 10 months ago
- LSM-Tree Key-Value Store based on RocksDB☆79Updated last year
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆73Updated last year
- ☆14Updated last year
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆19Updated last year
- Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)☆76Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 3 months ago
- Concurrent ART (adaptive radix tree)☆129Updated this week
- Owl's Parallel & Distributed Computing Engine☆30Updated 5 years ago
- ☆12Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- An open-source BzTree implementation☆90Updated 3 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆21Updated last year
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆95Updated 2 months ago
- A local first persistent log☆32Updated this week
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago