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:
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- ☆14Updated 7 years ago
- ☆51Updated last year
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆43Updated 2 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 2 months ago
- Pompe implementation based on HotStuff☆17Updated 4 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆34Updated last week
- The C++ TiKV client used by TiFlash.☆39Updated this week
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆54Updated 8 months ago
- A minimal implementation of tikv/pd in Rust.☆65Updated 3 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆255Updated last year
- ☆20Updated 9 years ago
- Rust implementation of the Prism consensus protocol☆102Updated 2 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆46Updated 3 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- Awesome Byzantine Fault Tolerance (BFT)☆67Updated 3 years ago
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- LevelDB: Rust implementation☆80Updated 5 years ago
- ☆12Updated 6 years ago
- Transparent Paxos☆44Updated 6 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆16Updated 9 months ago
- Paxos Made Simple☆19Updated 2 years ago