emichael / dslabsLinks
Distributed Systems Labs and Framework
☆1,477Updated 7 months ago
Alternatives and similar repositories for dslabs
Users that are interested in dslabs are comparing it to the libraries listed below
Sorting:
- Notes on Lindsey Kuper's lectures on Distributed Systems☆478Updated 2 months ago
- A list of papers about distributed consensus.☆2,594Updated last year
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆844Updated 3 years ago
- 🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples☆968Updated last year
- A workbench for writing toy implementations of distributed systems.☆3,432Updated 2 months ago
- The book Distributed systems: for fun and profit☆2,627Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆501Updated 9 months ago
- A basic introduction to coding in modern C++.☆998Updated last year
- Princeton University COS 461: Computer Networks☆189Updated 4 years ago
- MIT 6.824 (Distributed Systems) labs in Go☆220Updated 4 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,418Updated 2 weeks ago
- A fast linearizability checker written in Go 🔎☆1,109Updated 2 months ago
- A course to build the SQL layer of a distributed database.☆2,025Updated 2 years ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,055Updated 9 years ago
- Curated list of resources on testing distributed systems☆2,592Updated 3 weeks ago
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆153Updated 5 years ago
- My collection of handwritten notes and resources for learning distributed systems☆171Updated 4 years ago
- EECS 489: Computer Networks @ the University of Michigan☆266Updated 6 months ago
- Awesome list for Paxos and friends☆2,120Updated last year
- A curated list to learn about distributed systems☆11,441Updated 10 months ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆208Updated 7 years ago
- Awesome materials about database development.☆1,554Updated last year
- ☆210Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆497Updated last year
- Self-Driving Database Management System from Carnegie Mellon University☆1,759Updated 3 years ago
- (educational) build your own disk based KV store☆1,343Updated last year
- ☆729Updated 2 years ago
- CS6650 Building Scalable Distributed Systems☆131Updated last year
- open source training courses about distributed database and distributed systems☆10,713Updated 2 years ago
- ☆16Updated 7 years ago