cmu440 / p1
Project 1: LSP & Distributed Bitcoin Miner
☆46Updated 11 years ago
Alternatives and similar repositories for p1:
Users that are interested in p1 are comparing it to the libraries listed below
- Project 0: Implementing a multi-client echo server☆61Updated 11 years ago
- Project 2: Tribbler☆35Updated 11 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- MIT 6.824 2016☆156Updated 6 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆171Updated 5 years ago
- MIT 6.824 Lab 2012(C++)☆30Updated 12 years ago
- ☆22Updated 10 years ago
- 6.824: Distributed Systems in MIT☆57Updated 12 years ago
- Implement the Paxos Algorithm☆18Updated 8 years ago
- mit-6.824-2012☆42Updated 9 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆25Updated 8 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- ☆32Updated 7 years ago
- A raft consensus implementation that is simply and understandable☆321Updated 6 years ago
- An attempt to split the Raft library out of LogCabin☆37Updated 7 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆195Updated 6 years ago
- Yet Another RAFT implementation☆126Updated 6 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 8 years ago
- ☆18Updated 8 years ago
- Peloton Design Docs☆27Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 6 years ago
- The tiny bitcask storage engine☆114Updated 6 years ago
- ☆129Updated 2 years ago
- A raft consensus implementation that is simply and understandable☆152Updated 4 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- Yet another write-optimized storage engine, using buffered B-tree algorithm inspired by TokuDB☆426Updated 11 years ago
- CMU 15-440/640 Distributed Systems☆15Updated 10 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago