scality / elmerfs
☆94Updated 2 years ago
Related projects: ⓘ
- Viewstamped Replication for Rust☆62Updated last year
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- framework for evaluating (planet-scale) consensus protocols☆126Updated 6 months ago
- Melda: A General Purpose Delta State JSON CRDT☆26Updated 2 weeks ago
- FoundationDB Rust client api☆110Updated this week
- Adaptive Radix Trie implementation for fixed-length keys☆52Updated 7 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 4 months ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆181Updated 2 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A basic log-structured flash datastore☆20Updated last year
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆108Updated this week
- Rust CASPaxos implementation☆64Updated 3 years ago
- Logical clocks implementation in Rust☆44Updated 4 years ago
- A datastore aiming at linear scalability up to the yottabyte range. Inspired by dynamo and cassandra.☆82Updated last year
- Messaging and state layer for distributed serverless applications☆61Updated 2 weeks ago
- Chain replication server framework for Rust☆33Updated 6 months ago
- rust database engineering toolkit☆34Updated 3 years ago
- self adjusting computations in rust☆130Updated 3 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆67Updated 3 years ago
- A timed adaptive radix trie data-structure, used in SurrealKV☆80Updated last month
- log for concurrent workloads, with support for atomic batches and in-order recovery☆30Updated 2 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆71Updated last year
- ☆58Updated 2 years ago
- ☆16Updated 7 years ago
- Prototype Mixed-consistency transaction implementation☆60Updated 6 years ago
- Nyrkiö is an open source platform for detecting performance changes☆30Updated this week
- super simple in-memory blocking LSM for constant-size keys and values☆63Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆99Updated 6 months ago
- Systems performance telemetry☆58Updated this week