gryadka / js
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
☆329Updated 6 years ago
Alternatives and similar repositories for js:
Users that are interested in js are comparing it to the libraries listed below
- Consus is a geo-replicated transactional key-value store.☆226Updated 6 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- Convergent Replicated Data Types☆651Updated 9 years ago
- ScyllaDB fault injection filesystem☆249Updated 3 years ago
- ☆617Updated 3 years ago
- Verifies the linearizability of experimentally accessible histories.☆400Updated last month
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- Logical Clocks for Eventually Consistent Systems☆353Updated 6 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆312Updated 3 years ago
- TAPIR distributed transactional storage system☆423Updated 4 years ago
- Interactive visualization framework for Runway models of distributed systems☆189Updated 2 years ago
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆305Updated 2 years ago
- A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.☆460Updated 5 years ago
- TLA+ specification for the Raft consensus algorithm☆480Updated 4 months ago
- C network daemon for HyperLogLogs☆449Updated 3 years ago
- GoshawkDB server☆208Updated 6 years ago
- Commutative Replicated Data Types for easy collaborative/distributed systems.☆836Updated 6 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- A cluster consistency platform☆643Updated this week
- columnar storage + NoSQL OLAP engine | https://logv.org☆306Updated 5 months ago
- Waltz is a quorum-based distributed write-ahead log for replicating transactions☆415Updated last year
- ☆94Updated 9 years ago
- Tracking, Benchmarking and Sharing Information about an open source embedded data storage engines, internals, architectures, data storage…☆180Updated 6 years ago
- Paxos protocol framework☆556Updated last year
- A Go implementation of the CASPaxos protocol☆295Updated 6 years ago
- epaxos☆99Updated 9 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- Black-box transactional safety checker based on cycle detection☆647Updated 3 months ago
- Implementations of a data structure with false negatives but no false positives.☆355Updated last year
- Berkeley Tree Database (BTrDB) server☆912Updated 3 years ago