emichael / dslabsLinks
Distributed Systems Labs and Framework
☆1,484Updated 8 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☆480Updated 3 months ago
- A list of papers about distributed consensus.☆2,595Updated last year
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆155Updated 5 years ago
- A fast linearizability checker written in Go 🔎☆1,119Updated 3 months ago
- The book Distributed systems: for fun and profit☆2,628Updated 3 years ago
- Interesting readings and talks on computer science☆723Updated 10 months ago
- Curated list of resources on testing distributed systems☆2,595Updated last week
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆844Updated 3 years ago
- A workbench for writing toy implementations of distributed systems.☆3,437Updated 2 weeks ago
- MIT 6.824 (Distributed Systems) labs in Go☆222Updated 4 years ago
- A basic introduction to coding in modern C++.☆1,012Updated last year
- Princeton University COS 461: Computer Networks☆189Updated 4 years ago
- My collection of handwritten notes and resources for learning distributed systems☆171Updated 4 years ago
- A course to build the SQL layer of a distributed database.☆2,033Updated 2 years ago
- Raft implementation in Go☆1,242Updated 10 months ago
- Awesome list for Paxos and friends☆2,122Updated last year
- A collection of TLA⁺ specifications of varying complexities.☆1,425Updated this week
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,059Updated 9 years ago
- Projects for an undergraduate OS course☆5,354Updated last year
- EECS 489: Computer Networks @ the University of Michigan☆266Updated 6 months ago
- TLA+ specification for the Raft consensus algorithm☆503Updated 9 months ago
- ☆210Updated 3 years ago
- Self-Driving Database Management System from Carnegie Mellon University☆1,760Updated 3 years ago
- CS6650 Building Scalable Distributed Systems☆131Updated 2 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆209Updated 7 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,647Updated last year
- In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).☆117Updated 6 years ago
- ☆2,762Updated last month
- ☆731Updated 2 years ago
- Awesome materials about database development.☆1,563Updated last year