henryr / distributed-systems-readings
Readings in distributed systems
☆415Updated 9 years ago
Alternatives and similar repositories for distributed-systems-readings:
Users that are interested in distributed-systems-readings are comparing it to the libraries listed below
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆171Updated 5 years ago
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆950Updated 2 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆192Updated 6 years ago
- Paxos Made Moderately Complex☆175Updated 7 months ago
- The CAP FAQ☆808Updated last year
- JVM readings☆486Updated 4 years ago
- Collection of Papers On Database Management Systems☆221Updated 8 years ago
- ☆616Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆489Updated last month
- 6.824: Distributed Systems in MIT☆57Updated 11 years ago
- Plain Paxos Implementations in Python & Java☆588Updated 3 years ago
- The book Distributed systems: for fun and profit☆2,586Updated 2 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆828Updated 2 years ago
- **No Longer Maintained** Official RAMCloud repo☆492Updated 5 years ago
- Paxos protocol framework☆557Updated last year
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,026Updated 8 years ago
- Verifies the linearizability of experimentally accessible histories.☆401Updated 2 weeks ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆437Updated 5 years ago
- Academic papers and articles that I have read or plan to read☆73Updated 11 years ago
- A Distributed Systems Reading List☆184Updated 4 years ago
- This repository contains project assignments for the course Cloud Computing (CS 733), IIT Bombay☆19Updated 8 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Paper Summaries☆55Updated 4 years ago
- H-Store Distributed Main Memory OLTP Database System☆575Updated 4 years ago
- A blog post on network partitions in practice☆182Updated 10 years ago
- A cluster consistency platform☆647Updated last week
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- ☆128Updated 6 years ago