Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
☆141Apr 27, 2021Updated 4 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
Sorting:
- TuringCell: Run Linux over Paxos/Raft☆77May 26, 2020Updated 5 years ago
- Explore JIT in TiDB☆27Jan 8, 2022Updated 4 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆243Apr 6, 2023Updated 2 years ago
- Clone of Google's cpp-btree B-tree set and map containers, with minor fixes/modifications.☆37Feb 18, 2026Updated 2 weeks ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆31Nov 24, 2021Updated 4 years ago
- [Archive] An experimental cloud-native distributed KV engine for OLTP workload.☆72Dec 12, 2022Updated 3 years ago
- A cache-efficiency weight balanced binary tree☆71May 25, 2014Updated 11 years ago
- A persistent storage engine for Multi-Raft log☆624Feb 26, 2026Updated last week
- Labs on distributed transaction☆240Jan 26, 2022Updated 4 years ago
- Unofficial! English original and Chinese translation of the paper.☆51Jun 16, 2024Updated last year
- The lightest distributed consensus library. Run your own replicated state machine! ❤️☆444Mar 31, 2025Updated 11 months ago
- A port for rocksdb☆103Mar 27, 2022Updated 3 years ago
- TLA+ specifications for Raft and variants☆90Jul 18, 2022Updated 3 years ago
- Shared Unit Raft☆83Dec 3, 2024Updated last year
- A toolkit for testing TiDB☆139Feb 25, 2023Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated last year
- My Documents☆19May 6, 2021Updated 4 years ago
- Relational Database Server with Integrated Version Control☆23Dec 20, 2022Updated 3 years ago
- The labs of Raft consensus algorithm based on MadSim.☆128Feb 19, 2025Updated last year
- A minimal implementation of tikv/pd in Rust.☆65Jul 28, 2021Updated 4 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 4 years ago
- databend source reading notes☆22Jan 27, 2023Updated 3 years ago
- A Rust version of db tutorial implementation☆62May 4, 2022Updated 3 years ago
- A raft consensus implementation that is simply and understandable☆319Nov 17, 2018Updated 7 years ago
- Low-level io_uring interface, transliterated from Jens Axboe's liburing.☆20Updated this week
- A more flexible replacement for libevent's httpd API (Developers, use the develop branch to patch, not master)☆16Dec 8, 2014Updated 11 years ago
- Nugine 的个人博客☆11Feb 20, 2026Updated last week
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆23Feb 25, 2026Updated last week
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Third-party dependencies for Apache Ratis☆13Feb 8, 2026Updated 3 weeks ago
- ☆365Sep 27, 2022Updated 3 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- ☆75Mar 27, 2025Updated 11 months ago
- ☆26May 22, 2022Updated 3 years ago
- The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial☆1,010Updated this week
- 文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释☆68Jul 1, 2025Updated 8 months ago
- compile lua fucntion to computer code just in time.☆12Jul 10, 2020Updated 5 years ago
- Computer Papers☆11Jun 15, 2025Updated 8 months ago
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆14Mar 31, 2020Updated 5 years ago