ya-ming / irsdp
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
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆192Updated 6 years ago
- Presentations, meetups and talks about Databend☆73Updated 2 years ago
- ☆75Updated 2 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 6 years ago
- ☆37Updated 4 years ago
- ☆31Updated 7 months ago
- VectorDB is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆69Updated 3 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 5 years ago
- A consensus that unifies paxos, raft, 2pc, etc.☆147Updated last year
- ☆59Updated 9 years ago
- raft variant with topology order logs☆27Updated 4 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆171Updated 5 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- ☆48Updated 2 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- ☆77Updated 10 years ago
- This is a distributed kv project to demonstrate how to use matrixcube☆17Updated 2 years ago
- Programming challenges for MO candidates☆31Updated 2 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆52Updated 6 months ago
- ☆128Updated 2 years ago
- 📄 🇨🇳 papers I have read☆28Updated 3 years ago
- ☆70Updated 2 years ago
- The home page of database meetup☆78Updated 2 years ago
- Implementing a Distributed Bitcoin Miner☆19Updated 8 years ago
- gossip based membership management and failure detection☆9Updated last month
- continuously update cloud database papers☆80Updated 10 months ago
- an implementation of raft in Go☆158Updated 3 years ago