scality / elmerfsLinks
☆102Updated 3 years ago
Alternatives and similar repositories for elmerfs
Users that are interested in elmerfs are comparing it to the libraries listed below
Sorting:
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Viewstamped Replication for Rust☆70Updated 2 years ago
- Melda: A General Purpose Delta State JSON CRDT☆32Updated 7 months ago
- A datastore aiming at linear scalability up to the yottabyte range. Inspired by dynamo and cassandra.☆90Updated 8 months ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆208Updated 3 years ago
- Rush: Snabb written in Rust☆55Updated 4 years ago
- A local first persistent log☆36Updated last month
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37Updated 3 years ago
- A modular implementation of timely dataflow in Rust☆119Updated 3 weeks ago
- A basic log-structured flash datastore☆20Updated 3 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆222Updated last year
- rust database engineering toolkit☆32Updated 4 years ago
- a tokio-enabled data store for triple data☆380Updated last year
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆164Updated 3 months ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆77Updated 7 months ago
- ☆122Updated last year
- Logical clocks implementation in Rust☆45Updated 5 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Adaptive Radix Trie implementation for fixed-length keys☆54Updated 2 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Updated last year
- RON for Rust☆20Updated 6 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated this week
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆143Updated 2 weeks ago