trvedata / move-op

Related projects: ⓘ

• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 3 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆71Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆27Updated last year
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago
• singlestore-labs / wasi-data
  WASI Data Proposal
  ☆46Updated 2 years ago
• decentralized-hse / collab-edit
  ☆25Updated this week
• ept / byzantine-eventual
  Byzantine Eventual Consistency
  ☆21Updated last year
• graydon / clepsydra
  small distributed database protocol
  ☆30Updated 3 years ago
• scality / elmerfs
  ☆94Updated 2 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆53Updated 3 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆35Updated last month
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆49Updated 4 months ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆26Updated 2 weeks ago
• pijul-scm / sanakirja
  ☆16Updated 7 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 3 months ago
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆24Updated last 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
• albertlinde / Legion
  The Legion code base.
  ☆26Updated 7 years ago
• spacejam / rsdb
  rust database engineering toolkit
  ☆34Updated 3 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 4 months ago
• josephg / editing-traces
  Real world text editing traces for benchmarking CRDT and Rope data structures
  ☆38Updated 9 months 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
• RhizomeDB / research
  ☆18Updated last year
• acharapko / retroscope-lib
  ☆14Updated 6 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆57Updated 2 years ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago