cmu440 / intro-to-goLinks
This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
☆31Updated 11 years ago
Alternatives and similar repositories for intro-to-go
Users that are interested in intro-to-go 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
- This repository contains code snippets discussed in 15-440, lecture 5 (given on 1/28/2014).☆12Updated 11 years ago
- Project 1: LSP & Distributed Bitcoin Miner☆45Updated 11 years ago
- MIT 6.824 - Distributed Systems - Spring 2015☆15Updated 9 years ago
- Project 2: Tribbler☆34Updated 11 years ago
- Project 0: Implementing a multi-client echo server☆60Updated 11 years ago
- Simple implementation of Paxos protocol in Python☆77Updated 14 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Updated 7 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
- Sparrow scheduling platform (U.C. Berkeley).☆328Updated 5 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Updated 8 years ago
- Liso HTTP server for CMU-15441 course☆30Updated 9 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 11 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- MIT 6.824 2016☆156Updated 7 years ago
- The implementation of MIT's 6.828 Operating System Engineering☆41Updated 9 years ago
- levi-db is a fast database engine☆36Updated 7 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 10 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- Implement the Paxos Algorithm☆18Updated 9 years ago
- Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…☆33Updated 7 years ago
- Paxos Made Moderately Complex☆191Updated last year
- A go implementation of the Paxos algorithm☆347Updated 7 years ago
- Distributed File System server implemented using RAFT Algorithm.☆17Updated 6 years ago
- ☆130Updated 2 years ago
- Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.☆77Updated 8 years ago
- JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.☆28Updated 7 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- A framework for distributed systems verification, with fault injection☆46Updated 3 weeks ago