henryr / distributed-systems-readings
Readings in distributed systems
☆415Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for distributed-systems-readings
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 4 years ago
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆938Updated last year
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆186Updated 6 years ago
- Paxos Made Moderately Complex☆172Updated 3 months ago
- 6.824: Distributed Systems in MIT☆58Updated 11 years ago
- **No Longer Maintained** Official RAMCloud repo☆490Updated 5 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆819Updated 2 years ago
- A collection of papers that was referenced at the end of Jonas Bonér's The Road to Akka Cluster and Beyond ... talk.☆273Updated 9 years ago
- JVM readings☆480Updated 3 years ago
- ☆612Updated 3 years ago
- Paxos protocol framework☆551Updated 10 months ago
- A Distributed Systems Reading List☆176Updated 3 years ago
- Collection of Papers On Database Management Systems☆216Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm☆465Updated 2 months ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,006Updated 8 years ago
- H-Store Distributed Main Memory OLTP Database System☆567Updated 4 years ago
- Awesome list for Paxos and friends☆2,049Updated 5 months ago
- The book Distributed systems: for fun and profit☆2,559Updated 2 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆311Updated 2 years ago
- Diploma thesis "Concurrent Programming for Scalable Web Architectures" released under Creative Commons license☆436Updated 5 years ago
- The CAP FAQ☆795Updated last year
- Academic papers and articles that I have read or plan to read☆73Updated 11 years ago
- Verifies the linearizability of experimentally accessible histories.☆398Updated last year
- Awesome list of distributed systems resources☆1,578Updated 4 years ago