trvedata / move-opLinks
☆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
Sorting:
- Melda: A General Purpose Delta State JSON CRDT☆31Updated 3 months ago
- Logical clocks implementation in Rust☆45Updated 5 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago
- small distributed database protocol☆31Updated 4 years ago
- ☆124Updated last year
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆52Updated last year
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆217Updated last year
- WASI Data Proposal☆46Updated 3 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- ☆101Updated 3 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Experimental Rust wrapper for FASTER by Microsoft Research☆54Updated 4 years ago
- An open-source database inspired by Datomic☆30Updated last year
- An experimental columnar arena☆43Updated 7 months ago
- Efficient state-based CRDT replication and anti-entropy☆64Updated last month
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆129Updated this week
- Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.☆134Updated last year
- Real world text editing traces for benchmarking CRDT and Rope data structures☆49Updated last year
- ☆63Updated 2 weeks ago
- Viewstamped Replication for Rust☆69Updated 2 years ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- Library for building stateful property tests using the proptest crate☆24Updated 3 weeks ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- ☆11Updated 8 months ago
- super simple in-memory blocking LSM for constant-size keys and values☆71Updated 4 months ago
- 🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation☆58Updated 2 years ago