Alternatives and similar repositories for bft-crdts

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

• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 8 months ago
• hermits-grove / hermitdb
  A private decentralized database replicated over Git (or any other distributed log)
  ☆74Updated 5 years ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆45Updated 6 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
  ☆116Updated 2 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• paradigmlink / copernica
  <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…
  ☆11Updated 3 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 5 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆67Updated 5 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆60Updated 4 months ago
• antimonyproject / antimony-core
  a real-time stream processing and distributed computation system written purely in Rust.
  ☆34Updated 8 years ago
• ballard26 / concurrent-hamt
  ☆86Updated 9 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 4 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆62Updated 8 months ago
• tailhook / probor
  A protocol on top of CBOR that provides protobuf-like functionality
  ☆54Updated 7 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• freedomlayer / offset
  Offset payment engine
  ☆165Updated 2 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 9 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 5 months ago
• matklad / paxosnotes
  ☆23Updated 3 years ago
• SpinResearch / merkle.rs
  Merkle tree in Rust
  ☆132Updated last year
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• 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