ya-ming / irsdpLinks
Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming
☆12Updated 4 years ago
Alternatives and similar repositories for irsdp
Users that are interested in irsdp are comparing it to the libraries listed below
Sorting:
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 6 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆211Updated 7 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆94Updated 6 years ago
- ☆130Updated 2 years ago
- ☆38Updated 5 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆242Updated 2 years ago
- an implementation of raft in Go☆159Updated 4 years ago
- ☆76Updated 3 years ago
- ☆77Updated 11 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- mit 6.824课程lab2 raft算法实现☆57Updated 6 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Updated 4 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 11 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- Plain Paxos Implementations in Python & Java☆592Updated 4 years ago
- Simple implementation of Paxos protocol in Python☆77Updated 14 years ago
- Raft中文版☆79Updated 2 years ago
- MIT 6.824 2016☆156Updated 7 years ago
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated 2 years ago
- 6.824: Distributed Systems in MIT☆57Updated 12 years ago
- ☆70Updated 3 years ago
- Peloton Design Docs☆28Updated 7 years ago
- Readings in distributed systems☆415Updated 10 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 12 years ago
- Course assignments☆10Updated 8 years ago
- ☆48Updated 3 years ago
- Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.☆36Updated 6 years ago