gryadka / jsLinks
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
☆331Updated 6 years ago
Alternatives and similar repositories for js
Users that are interested in js are comparing it to the libraries listed below
Sorting:
- Consus is a geo-replicated transactional key-value store.☆225Updated 7 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- Convergent Replicated Data Types☆656Updated 9 years ago
- TAPIR distributed transactional storage system☆421Updated 4 years ago
- Logical Clocks for Eventually Consistent Systems☆361Updated 7 years ago
- Verifies the linearizability of experimentally accessible histories.☆403Updated 3 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆322Updated 3 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- Berkeley Tree Database (BTrDB) server☆910Updated 3 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆188Updated 8 years ago
- ☆620Updated 3 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- Tracking, Benchmarking and Sharing Information about an open source embedded data storage engines, internals, architectures, data storage…☆182Updated 6 years ago
- GoshawkDB server☆209Updated 7 years ago
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆306Updated 2 years ago
- A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.☆462Updated 9 years ago
- Disk storage and real transactions under Redis compatible protocol.☆199Updated 8 years ago
- Speculative Paxos replication protocol☆130Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm☆494Updated 4 months ago
- A cluster consistency platform☆651Updated last week
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Paxos protocol framework☆557Updated last year
- Black-box transactional safety checker based on cycle detection☆667Updated last month
- C network daemon for HyperLogLogs☆449Updated 4 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Machi file store☆121Updated 9 years ago
- Implementations of a data structure with false negatives but no false positives.☆359Updated last year
- epaxos☆101Updated 9 years ago
- A Go implementation of the CASPaxos protocol☆297Updated 7 years ago
- A high-performance distributed shared-log for Ceph☆115Updated 5 years ago