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)☆74Updated 5 years ago
- ☆40Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- Model-based testing tool☆60Updated 6 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- Logical clocks implementation in Rust☆45Updated 5 years ago
- Rust CouchDB implementation for Cloudant hackweek☆67Updated 5 years ago
- ☆14Updated 9 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Rush: Snabb written in Rust☆55Updated 4 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- A stream that generates a merkle tree based on the incoming data.☆53Updated 4 years ago
- Picoquic bindings for rust.☆28Updated 5 years ago
- ☆102Updated 3 years ago
- Implementation of PageRank in timely dataflow☆73Updated 6 years ago
- Visualized CRDT executions in a web page to explain their semantics☆17Updated 6 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- ☆23Updated 2 years ago
- A couchdb client in Rust☆18Updated 8 years ago
- a real-time stream processing and distributed computation system written purely in Rust.☆34Updated 7 years ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- ☆122Updated last year
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- ☆11Updated 8 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆32Updated 3 years ago