Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
☆334Aug 13, 2018Updated 7 years ago
Alternatives and similar repositories for js
Users that are interested in js are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CASPaxos: Replicated State Machines without logs☆107Oct 20, 2018Updated 7 years ago
- A Go implementation of the CASPaxos protocol☆297Apr 1, 2018Updated 8 years ago
- SRV record support for legacy systems via LD_PRELOAD getaddrinfo/connect hooks☆14Aug 20, 2015Updated 10 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆48Mar 29, 2019Updated 7 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- Rust CASPaxos implementation☆66Oct 27, 2020Updated 5 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,064May 23, 2017Updated 9 years ago
- My implementation of CASPaxos☆11Feb 23, 2019Updated 7 years ago
- A cluster consistency platform☆666Jun 19, 2026Updated last week
- ☆631Aug 15, 2021Updated 4 years ago
- A system for maintaining replicated state machines☆118Apr 26, 2017Updated 9 years ago
- Verifies the linearizability of experimentally accessible histories.☆424Mar 9, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Sep 22, 2017Updated 8 years ago
- Concurrent (with OLC) Adaptive Radix Trie in Golang.☆12Jul 31, 2020Updated 5 years ago
- Awesome list for Paxos and friends☆2,141May 29, 2024Updated 2 years ago
- Go implementation of SIMD-BP128 integer encoding and decoding☆31Apr 8, 2022Updated 4 years ago
- File-system fault injection framework for distributed storage systems☆69Oct 29, 2018Updated 7 years ago
- raw bindings for git://git.kernel.dk/liburing☆17Jan 15, 2020Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆699Jun 22, 2026Updated last week
- Multi-Paxos framework in Erlang☆167Dec 21, 2022Updated 3 years ago
- Rapid is a scalable distributed membership service☆138Jul 5, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- building blocks and testing tools for reliable systems☆29May 7, 2018Updated 8 years ago
- github.com/cznic/file has moved to modernc.org/file☆57Nov 22, 2018Updated 7 years ago
- Raft consensus algorithm implementation☆33May 2, 2020Updated 6 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,692Jan 23, 2026Updated 5 months ago
- Class materials for a distributed systems lecture series☆9,724Mar 18, 2025Updated last year
- Filesystem qualification tool☆61Nov 23, 2025Updated 7 months ago
- A clustered, masterless redis clone, built in Go☆33May 21, 2014Updated 12 years ago
- (getting to be a) hard to kill scalable linearizabe store☆80Jan 19, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Awesome list of distributed transactions☆730Mar 10, 2026Updated 3 months ago
- Consus is a geo-replicated transactional key-value store.☆229May 19, 2018Updated 8 years ago
- A model checker for implementing distributed systems.☆1,844Jul 27, 2025Updated 11 months ago
- Prototype implementation of Lasp in Erlang.☆895Mar 2, 2021Updated 5 years ago
- ☆28Jul 9, 2018Updated 7 years ago
- github.com/cznic/wl has moved to modernc.org/wl☆28Nov 22, 2018Updated 7 years ago
- Jupyter kernel for TLA⁺☆122Sep 12, 2022Updated 3 years ago