cmu440 / intro-to-go
This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
☆31Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for intro-to-go
- This repository contains code snippets discussed in 15-440, lecture 5 (given on 1/28/2014).☆12Updated 10 years ago
- Project 2: Tribbler☆35Updated 10 years ago
- Project 0: Implementing a multi-client echo server☆60Updated 10 years ago
- Project 1: LSP & Distributed Bitcoin Miner☆46Updated 10 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 4 years ago
- MIT 6.824 - Distributed Systems - Spring 2015☆15Updated 8 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆186Updated 6 years ago
- ☆22Updated last year
- Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…☆33Updated 6 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- A distributed key-value store☆30Updated 6 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 4 years ago
- 6.824: Distributed Systems in MIT☆58Updated 11 years ago
- Some tools to inject failure☆10Updated 6 years ago
- MIT 6.824 2016☆155Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated 2 months ago
- levi-db is a fast database engine☆36Updated 6 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆24Updated 5 years ago
- Implement the Paxos Algorithm☆17Updated 8 years ago
- MIT's 6.824: Distributed systems course (2017)☆56Updated 7 years ago