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 10 months ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• hermits-grove / hermitdb
  A private decentralized database replicated over Git (or any other distributed log)
  ☆74Updated 5 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆66Updated 5 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆116Updated 2 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆45Updated 6 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆62Updated 9 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• pijul-scm / sanakirja
  ☆17Updated 8 years ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆67Updated 5 years ago
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆18Updated 7 years ago
• graydon / concorde
  ☆28Updated 4 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• ballard26 / concurrent-hamt
  ☆86Updated 9 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• antimonyproject / antimony-core
  a real-time stream processing and distributed computation system written purely in Rust.
  ☆34Updated 8 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆37Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• sile / plumcast
  A message broadcasting library based on the Plumtree/HyParView algorithms
  ☆33Updated 4 years ago
• maidsafe / sn_transfers
  Implementation of Transfers in the SAFE Network.
  ☆10Updated 4 years ago
• epilys / vfsstat.rs
  Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
  ☆35Updated last year
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 4 years ago
• maidsafe / crdt_tree
  ☆123Updated last year
• 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
• sile / hyparview
  A Rust implementation of HyParView algorithm
  ☆31Updated 6 years ago