trvedata / move-op

Related projects ⓘ

Alternatives and complementary repositories for move-op

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆52Updated 6 months ago
• scality / elmerfs
  ☆96Updated 2 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• lord / anchors
  self adjusting computations in rust
  ☆130Updated 3 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 3 years ago
• maidsafe / crdt_tree
  ☆122Updated 10 months ago
• ept / byzantine-eventual
  Byzantine Eventual Consistency
  ☆22Updated last year
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• frankmcsherry / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆114Updated last week
• graydon / clepsydra
  small distributed database protocol
  ☆30Updated 3 years ago
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆27Updated last month
• faster-rs / faster-rs
  Experimental Rust wrapper for FASTER by Microsoft Research
  ☆53Updated 4 years ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆207Updated 7 months ago
• albertlinde / Legion
  The Legion code base.
  ☆26Updated 7 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 5 years ago
• domoritz / arrow-wasm
  Apache Arrow in WebAssembly
  ☆79Updated last year
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• rocicorp / repc
  The canonical Replicache client, implemented in Rust.
  ☆30Updated 3 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 3 years ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆90Updated 2 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆53Updated 5 months ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 6 months ago