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 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆203Updated 7 years ago
- ☆76Updated 3 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- ☆130Updated 2 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- ☆38Updated 5 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆241Updated 2 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago
- Peloton Design Docs☆27Updated 7 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- an implementation of raft in Go☆160Updated 4 years ago
- Raft中文版☆79Updated 2 years ago
- ☆70Updated 2 years ago
- ☆77Updated 11 years ago
- mit 6.824课程lab2 raft算法实现☆59Updated 5 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- Readings in distributed systems☆416Updated 10 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆142Updated 4 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.☆36Updated 6 years ago
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆953Updated 2 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆58Updated 11 months ago
- 2018年春季课程学习资料汇总☆310Updated 7 years ago
- ☆31Updated 8 years ago
- ☆60Updated 9 years ago
- MIT 6.824 - Distributed Systems - Spring 2015☆11Updated 9 years ago
- algebra arithmetic, finite fields, elliptic curves, zero-knowledge☆70Updated 5 years ago