Alternatives and similar repositories for bft-crdts

Users that are interested in bft-crdts are comparing it to the libraries listed below

• hermits-grove / hermitdb
  A private decentralized database replicated over Git (or any other distributed log)
  ☆74Updated 5 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 8 months ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated 2 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 4 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆45Updated 5 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆61Updated 7 months ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 4 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• datrs / merkle-tree-stream
  A stream that generates a merkle tree based on the incoming data.
  ☆54Updated 4 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• matklad / paxosnotes
  ☆23Updated 3 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• ballard26 / concurrent-hamt
  ☆85Updated 9 years ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆67Updated 5 years ago
• epilys / vfsstat.rs
  Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
  ☆35Updated 10 months ago
• maidsafe / sn_transfers
  Implementation of Transfers in the SAFE Network.
  ☆10Updated 4 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆74Updated 2 years ago
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆17Updated 6 years ago
• sile / plumcast
  A message broadcasting library based on the Plumtree/HyParView algorithms
  ☆33Updated 4 years ago
• tailhook / probor
  A protocol on top of CBOR that provides protobuf-like functionality
  ☆54Updated 7 years ago
• spacejam / historian
  ☆22Updated 6 years ago
• antimonyproject / antimony-core
  a real-time stream processing and distributed computation system written purely in Rust.
  ☆34Updated 7 years ago
• frankmcsherry / pagerank
  Implementation of PageRank in timely dataflow
  ☆73Updated 6 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆59Updated 3 months ago