trvedata / move-op
β31Updated 3 years ago
Alternatives and similar repositories for move-op:
Users that are interested in move-op are comparing it to the libraries listed below
- π° the first JSON-like Byzantine Fault Tolerant CRDTβ214Updated 11 months ago
- Itβs a pure safe BTree that can be used to build your own special-purpose btree data structureβ54Updated 11 months ago
- β99Updated 3 years ago
- Logical clocks implementation in Rustβ44Updated 5 years ago
- Deterministic simulation of concurrency and failure in distributed systemsβ35Updated 7 months ago
- TLA+ specifications related to Viewstamped Replicationβ32Updated 2 years ago
- Real world text editing traces for benchmarking CRDT and Rope data structuresβ46Updated last year
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithmsβ59Updated 4 years ago
- Byzantine Eventual Consistencyβ22Updated last year
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.β22Updated 2 years ago
- A basic log-structured flash datastoreβ20Updated 2 years ago
- WASI Data Proposalβ46Updated 3 years ago
- A programming language for data stream analytics.β19Updated 2 months ago
- small distributed database protocolβ31Updated 4 years ago
- self adjusting computations in rustβ136Updated 3 years ago
- Viewstamped Replication for Rustβ67Updated last year
- Synthesize CRDTs from classic data types with verified lifting!β145Updated 11 months ago
- The canonical Replicache client, implemented in Rust.β30Updated 3 years ago
- Performance tests for Automergeβ41Updated 6 months ago
- β38Updated 11 months ago
- Go toolchain written in rust (parser, compiler)β11Updated 2 years ago
- ergonomic columnar storage encoding crateβ25Updated 6 months ago
- β26Updated 2 months ago
- Melda: A General Purpose Delta State JSON CRDTβ31Updated 2 weeks ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.β93Updated 3 years ago
- Specifying and Verifying CRDT Protocols using TLA+β42Updated 3 years ago
- β122Updated last year
- Framework for simulating distributed applicationsβ98Updated 5 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β9Updated 2 months ago
- β27Updated 9 years ago