davidrusu / bft-crdtsLinks
Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
☆62Updated 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
Sorting:
- A Rust implementation of Plumtree algorithm☆29Updated 6 months ago
- A private decentralized database replicated over Git (or any other distributed log)☆76Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Model-based testing tool☆60Updated 5 months ago
- Logical clocks implementation in Rust☆45Updated 5 years ago
- ☆14Updated 9 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- Picoquic bindings for rust.☆28Updated 5 years ago
- ☆40Updated 5 years ago
- Rust CouchDB implementation for Cloudant hackweek☆67Updated 5 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆72Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- ☆11Updated 8 years ago
- ☆23Updated 2 years ago
- ☆85Updated 9 years ago
- Visualized CRDT executions in a web page to explain their semantics☆17Updated 6 years ago
- Fungi: Typed incremental computation with names☆69Updated 5 years ago
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 9 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- ☆123Updated last year
- self adjusting computations in rust☆137Updated 3 years ago
- A stream that generates a merkle tree based on the incoming data.☆52Updated 4 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Implementation of Transfers in the SAFE Network.☆10Updated 4 years ago
- A lightweight Datalog engine in Rust☆57Updated 2 months ago
- Distributed KV database with causality tracking☆60Updated 6 years ago
- A Rust implementation of HyParView algorithm☆30Updated 6 years ago