davidrusu / bft-crdts
Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆59Updated 4 years ago
Alternatives and similar repositories for bft-crdts:
Users that are interested in bft-crdts are comparing it to the libraries listed below
- A Rust implementation of Plumtree algorithm☆29Updated last month
- Logical clocks implementation in Rust☆44Updated 5 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- ☆27Updated 4 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆77Updated 5 years ago
- small distributed database protocol☆31Updated 4 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 3 years ago
- ☆23Updated 2 years ago
- A stream that generates a merkle tree based on the incoming data.☆52Updated 3 years ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆34Updated 3 months ago
- Elias-Fano encoding implementation in Rust☆30Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- ☆11Updated 8 years ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- ☆22Updated 6 years ago
- ☆40Updated 5 years ago
- An experimental columnar arena☆43Updated 4 months ago
- ☆17Updated 8 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- ☆80Updated 8 years ago
- Fast, SIMD-accelerated hash function for content-defined chunking☆23Updated 4 years ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- ☆12Updated 2 months ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- Near-zero-cost, unabstracted Rust wrapper for LMDB.☆84Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆31Updated 3 years ago
- (getting to be a) hard to kill scalable linearizabe store☆78Updated 9 years ago
- Set theory applied on sorted and deduplicated slices.☆45Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago