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 2 months ago
- small distributed database protocol☆31Updated 4 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- Logical clocks implementation in Rust☆44Updated 5 years ago
- ☆22Updated 6 years ago
- ☆23Updated 2 years ago
- ☆40Updated 5 years ago
- ☆27Updated 4 years ago
- Append-only, on-disk key-value index☆62Updated 2 years ago
- a real-time stream processing and distributed computation system written purely in Rust.☆32Updated 7 years ago
- A Rust implementation of HyParView algorithm☆29Updated 6 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆77Updated 5 years ago
- Diagnostic tools for timely dataflow computations☆44Updated 2 years ago
- ☆17Updated 8 years ago
- An experimental columnar arena☆43Updated 5 months ago
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated last year
- Set theory applied on sorted and deduplicated slices.☆45Updated 2 years ago
- Rust CouchDB implementation for Cloudant hackweek☆67Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 7 months ago
- building blocks and testing tools for reliable systems☆28Updated 6 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆91Updated 4 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- FST (Fast Succinct Trie) implementation in Rust☆26Updated 5 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- A stream that generates a merkle tree based on the incoming data.☆52Updated 3 years ago
- Implementation of Transfers in the SAFE Network.☆11Updated 3 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago