DavideSelvaggio / Reliable-Distributed-Algorithms
Course assignments
☆10Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Reliable-Distributed-Algorithms
- Classroom Object-Oriented Language Compiler☆31Updated 9 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆186Updated 6 years ago
- ☆42Updated last year
- 6.824: Distributed Systems in MIT☆58Updated 11 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- A collection of state machine replication protocols☆118Updated last year
- Time, Clocks, and the Ordering of Events☆41Updated 3 years ago
- ☆26Updated 9 months ago
- Awesome blockchain white papers☆30Updated 6 years ago
- Readings in Stream Processing☆119Updated this week
- Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming☆12Updated 3 years ago
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆141Updated 3 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- Readings in distributed systems☆415Updated 9 years ago
- Implementing a Distributed Bitcoin Miner☆19Updated 7 years ago
- Lecture notes on Distributed Computing that are publicly accessible.☆56Updated 3 years ago
- pbft - Practical Byzantine Fault Tolerance☆12Updated 9 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 10 years ago
- Paper Summaries☆55Updated 4 years ago
- Java Skeleton Code for 6.035☆8Updated 3 years ago
- ☆43Updated 4 years ago
- Implementation of MIT 6.824: Distributed Systems☆16Updated 7 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 4 years ago
- Distributed Programming Abstractions☆16Updated 5 years ago
- ☆32Updated last year
- Some tiny exercises for system design.☆36Updated 7 years ago
- my systems bible☆95Updated 3 years ago