Determinant / salticidaeLinks
Minimal C++ asynchronous network library for distributed systems.
☆36Updated 4 years ago
Alternatives and similar repositories for salticidae
Users that are interested in salticidae are comparing it to the libraries listed below
Sorting:
- ☆51Updated last year
- ☆14Updated 7 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆43Updated 2 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- Paxos Made Simple☆19Updated 2 years ago
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- The C++ TiKV client used by TiFlash.☆40Updated last week
- ☆26Updated 3 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆46Updated 3 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- A minimal implementation of tikv/pd in Rust.☆65Updated 3 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 4 months ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- ☆19Updated 6 months ago
- Rust implementation of the Prism consensus protocol☆102Updated 2 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- The Adaptive Radix Tree With Optimistic Synchronization.☆21Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆55Updated 9 months ago
- A cache-efficiency weight balanced binary tree☆70Updated 11 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- LevelDB: Rust implementation☆80Updated 5 years ago
- A collection of eclectic tools for measuring performance using the cycle counter and pinning threads.☆41Updated last year
- algebra arithmetic, finite fields, elliptic curves, zero-knowledge☆70Updated 5 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆44Updated 5 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆34Updated 3 weeks ago