henryr / distributed-systems-readings
Readings in distributed systems
☆414Updated 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☆172Updated 5 years ago
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆951Updated 2 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆189Updated 6 years ago
- JVM readings☆484Updated 3 years ago
- Paxos Made Moderately Complex☆173Updated 5 months ago
- 6.824: Distributed Systems in MIT☆58Updated 11 years ago
- ☆617Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆479Updated 4 months ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆824Updated 2 years ago
- Verifies the linearizability of experimentally accessible histories.☆398Updated last month
- **No Longer Maintained** Official RAMCloud repo☆492Updated 5 years ago
- The book Distributed systems: for fun and profit☆2,572Updated 2 years ago
- Collection of Papers On Database Management Systems☆216Updated 8 years ago
- The CAP FAQ☆804Updated last year
- Paper Summaries☆55Updated 4 years ago
- Paxos protocol framework☆555Updated last year
- A Distributed Systems Reading List☆180Updated 4 years ago
- A blog post on network partitions in practice☆182Updated 10 years ago
- Plain Paxos Implementations in Python & Java☆588Updated 3 years ago
- H-Store Distributed Main Memory OLTP Database System☆573Updated 4 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆436Updated 5 years ago
- Repository of course notes and homework☆416Updated 2 years ago
- ☆75Updated 2 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago