Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
☆141Apr 27, 2021Updated 5 years ago
Alternatives and similar repositories for paxos-made-easy
Users that are interested in paxos-made-easy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TuringCell: Run Linux over Paxos/Raft☆77May 26, 2020Updated 6 years ago
- Explore JIT in TiDB☆27Jan 8, 2022Updated 4 years ago
- ☆24Jan 4, 2022Updated 4 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆241Apr 6, 2023Updated 3 years ago
- My Documents☆19May 6, 2021Updated 5 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.
- Clone of Google's cpp-btree B-tree set and map containers, with minor fixes/modifications.☆37Feb 18, 2026Updated 3 months ago
- A minimal implementation of tikv/pd in Rust.☆65Jul 28, 2021Updated 4 years ago
- A more flexible replacement for libevent's httpd API (Developers, use the develop branch to patch, not master)☆16Dec 8, 2014Updated 11 years ago
- A cache-efficiency weight balanced binary tree☆71May 25, 2014Updated 12 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆121Apr 28, 2026Updated 3 weeks ago
- Labs on distributed transaction☆241Jan 26, 2022Updated 4 years ago
- ☆10Nov 26, 2024Updated last year
- multi-master-paxos with 3 nodes☆14Apr 11, 2022Updated 4 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 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.
- A persistent storage engine for Multi-Raft log☆632May 7, 2026Updated 2 weeks ago
- A raft consensus implementation that is simply and understandable☆318Nov 17, 2018Updated 7 years ago
- The lightest distributed consensus library. Run your own replicated state machine! ❤️☆447Mar 31, 2025Updated last year
- Unofficial! English original and Chinese translation of the paper.☆51Jun 16, 2024Updated last year
- ☆12Dec 11, 2023Updated 2 years ago
- A light-weight json lib for c++.☆20Aug 3, 2022Updated 3 years ago
- The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial☆1,019Updated this week
- A toolkit for testing TiDB☆139Feb 25, 2023Updated 3 years ago
- braft detailed explanation☆48Mar 6, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A port for rocksdb☆103Mar 27, 2022Updated 4 years ago
- An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available dis…☆4,215Oct 25, 2024Updated last year
- record some trivialities☆54Feb 1, 2024Updated 2 years ago
- [Archive] An experimental cloud-native distributed KV engine for OLTP workload.☆72Dec 12, 2022Updated 3 years ago
- C++ raft lib☆138Aug 8, 2022Updated 3 years ago
- A WIP Float32 soft FPU implementation