davidrusu / bft-crdtsLinks
Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆64Updated last month
Alternatives and similar repositories for bft-crdts
Users that are interested in bft-crdts are comparing it to the libraries listed below
Sorting:
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated last month
- A Rust implementation of Plumtree algorithm☆29Updated 11 months ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Logical clocks implementation in Rust☆45Updated 6 years ago
- ☆40Updated 5 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- Rust CASPaxos implementation☆66Updated 5 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- ☆14Updated 9 years ago
- ☆23Updated 3 years ago
- Model-based testing tool☆63Updated 10 months ago
- ☆11Updated 9 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- A stream that generates a merkle tree based on the incoming data.☆54Updated 4 years ago
- Visualized CRDT executions in a web page to explain their semantics☆18Updated 7 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- ☆123Updated 2 years ago
- Rust CouchDB implementation for Cloudant hackweek☆67Updated 5 years ago
- A minimal decentralized computer.☆117Updated 3 years ago
- Rush: Snabb written in Rust☆55Updated 4 years ago
- Picoquic bindings for rust.☆28Updated 6 years ago
- ☆104Updated 3 years ago
- Implementation of PageRank in timely dataflow☆74Updated 7 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆57Updated 6 years ago
- Offset payment engine☆166Updated 3 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 3 years ago
- Merkle tree in Rust☆134Updated last year
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Updated 5 years ago
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 10 years ago