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 last month
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆30Updated this week
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• mindbeam / unbase
  ☆40Updated 6 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆45Updated 6 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 5 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆63Updated 11 months ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆67Updated 5 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆116Updated 2 years ago
• ruuda / noblit
  An immutable append-only database
  ☆28Updated last month
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 10 years ago
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆18Updated 7 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 6 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆62Updated 7 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆117Updated 4 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• matklad / paxosnotes
  ☆23Updated 3 years ago
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 2 weeks ago
• frankmcsherry / pagerank
  Implementation of PageRank in timely dataflow
  ☆74Updated 7 years ago
• graydon / concorde
  ☆28Updated 5 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• antimonyproject / antimony-core
  a real-time stream processing and distributed computation system written purely in Rust.
  ☆34Updated 8 years ago
• rsaarelm / urbit-rs
  ☆11Updated 9 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Updated 7 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 4 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆37Updated 2 years ago