Determinant / salticidae
Minimal C++ asynchronous network library for distributed systems.
☆36Updated 3 years ago
Alternatives and similar repositories for salticidae:
Users that are interested in salticidae are comparing it to the libraries listed below
- Pompe implementation based on HotStuff☆16Updated 3 years ago
- ☆50Updated 10 months ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- The Adaptive Radix Tree With Optimistic Synchronization.☆21Updated 6 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 9 months ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- ☆14Updated 7 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆81Updated 3 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆40Updated last year
- A minimal implementation of tikv/pd in Rust.☆64Updated 3 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 7 months ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- ☆26Updated 2 years ago
- CS291D Course Materials☆15Updated 3 years ago
- CITA VM☆50Updated 8 months ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago
- The C++ TiKV client used by TiFlash.☆40Updated this week
- ⛵ A distributed key-value store based on Raft. (WIP)☆42Updated 4 years ago
- A data structure and algorithm library built for TerarkDB☆62Updated 2 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- A simple header-only Multiversion Concurrency Control (MVCC) implementation in C++11.☆27Updated 9 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 10 years ago
- High Performance Key-Value Store☆48Updated 4 months ago
- Simple and modular write-ahead-logging implementation.☆25Updated 11 months ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆16Updated 6 years ago