scality / elmerfs
☆99Updated 3 years ago
Alternatives and similar repositories for elmerfs:
Users that are interested in elmerfs are comparing it to the libraries listed below
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Melda: A General Purpose Delta State JSON CRDT☆31Updated 2 weeks ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆145Updated 10 months ago
- ☆31Updated 3 years ago
- ☆115Updated last year
- ☆122Updated last year
- Viewstamped Replication for Rust☆67Updated last year
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 4 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 3 years ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated 2 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆71Updated 2 weeks ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- Adaptive Radix Trie implementation for fixed-length keys☆53Updated last year
- Efficient state-based CRDT replication and anti-entropy☆60Updated 4 months ago
- Byzantine Eventual Consistency☆22Updated last year
- Logical clocks implementation in Rust☆44Updated 5 years ago
- Prototype Mixed-consistency transaction implementation☆62Updated 6 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- An open-source database inspired by Datomic☆30Updated last year
- Experimental Rust wrapper for FASTER by Microsoft Research☆54Updated 4 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- A message broadcasting library based on the Plumtree/HyParView algorithms☆31Updated 3 years ago
- ☆27Updated 3 weeks ago
- ☆11Updated last year
- A file system backed by AntidoteDB.☆12Updated 3 years ago
- SQLite based ipfs block store☆48Updated last year
- Framework for simulating distributed applications☆98Updated 5 years ago
- super simple in-memory blocking LSM for constant-size keys and values☆69Updated last month