Alternatives and similar repositories for move-op:

Users that are interested in move-op are comparing it to the libraries listed below

• informalsystems / modelator
  Model-based testing tool
  ☆54Updated 7 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆31Updated last year
• graydon / clepsydra
  small distributed database protocol
  ☆31Updated 4 years ago
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆52Updated 8 months ago
• ept / byzantine-eventual
  Byzantine Eventual Consistency
  ☆22Updated last year
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 4 months ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 5 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 7 months ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆27Updated last week
• faster-rs / faster-rs
  Experimental Rust wrapper for FASTER by Microsoft Research
  ☆54Updated 4 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 8 months ago
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆25Updated 4 months ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 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…
  ☆72Updated 2 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆91Updated 2 years ago
• Actyx / banyan
  ☆38Updated 8 months ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• spacejam / rsdb
  rust database engineering toolkit
  ☆33Updated 3 years ago
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆35Updated 4 months ago
• automerge / automerge-perf
  Performance tests for Automerge
  ☆40Updated 3 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆34Updated 3 weeks ago
• pijul-scm / sanakirja
  ☆17Updated 7 years ago
• singlestore-labs / wasi-data
  WASI Data Proposal
  ☆46Updated 3 years ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 2 months ago
• vmx / storethehash
  A hash storage for content addressed systems
  ☆28Updated 2 years ago
• rocicorp / repc
  The canonical Replicache client, implemented in Rust.
  ☆30Updated 3 years ago
• scality / elmerfs
  ☆97Updated 2 years ago
• maidsafe / crdt_tree
  ☆122Updated last year