Determinant / salticidae
Minimal C++ asynchronous network library for distributed systems.
☆36Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for salticidae
- Pompe implementation based on HotStuff☆16Updated 3 years ago
- ☆14Updated 7 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- CS291D Course Materials☆15Updated 3 years ago
- ☆49Updated 8 months ago
- ☆26Updated 2 years ago
- pbft - Practical Byzantine Fault Tolerance☆12Updated 9 years ago
- ☆18Updated 2 weeks ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated 2 months ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 4 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 5 months ago
- The C++ TiKV client used by TiFlash.☆40Updated 3 weeks ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- algebra arithmetic, finite fields, elliptic curves, zero-knowledge☆69Updated 5 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 9 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆48Updated 4 years ago
- High Performance Key-Value Store☆48Updated 2 months ago
- Fast wait-free algorithms designed for shared memory systems☆45Updated 6 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆39Updated last year
- A minimal implementation of tikv/pd in Rust.☆64Updated 3 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 7 months ago
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆31Updated this week
- Key-Value Store for Non-Volatile Memories uDepot☆44Updated 2 years ago
- FST (Fast Succinct Trie) implementation in Rust☆24Updated 5 years ago
- Rust implementation of the Prism consensus protocol☆100Updated last year