Alternatives and similar repositories for dslabs:

Users that are interested in dslabs are comparing it to the libraries listed below

• ChrisWhealy / DistributedSystemNotes
  Notes on Lindsey Kuper's lectures on Distributed Systems
  ☆474Updated last year
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,568Updated 9 months ago
• roma-glushko / awesome-distributed-system-projects
  🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
  ☆862Updated last year
• theanalyst / awesome-distributed-systems
  A curated list to learn about distributed systems
  ☆11,027Updated 4 months ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆830Updated 3 years ago
• cmu-db / 15445-bootcamp
  A basic introduction to coding in modern C++.
  ☆804Updated 9 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,347Updated last month
• mohamedameen93 / CS-6210-Advanced-Operating-Systems-Notes
  In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).
  ☆109Updated 5 years ago
• Qwe1rty / distributed_systems_notes
  My collection of handwritten notes and resources for learning distributed systems
  ☆172Updated 3 years ago
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆693Updated 3 months ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆492Updated 2 months ago
• WenbinZhu / mit-6.824-labs
  MIT 6.824 (Distributed Systems) labs in Go
  ☆205Updated 4 years ago
• ept / hermitage
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,575Updated 6 months ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,266Updated 3 months ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆195Updated 6 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 6 months ago
• andygrove / how-query-engines-work
  This is the companion repository for the book How Query Engines Work.
  ☆389Updated 2 years ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,591Updated 2 years ago
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 10 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,629Updated last week
• heathermiller / dist-prog-book
  ☆3,427Updated 4 years ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,559Updated last week
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆221Updated 8 years ago
• kvoli / dalgo
  distributed algorithms notes, exercises, solutions and readings - referenced books provided
  ☆13Updated 3 years ago
• splvm / distsys-meetup
  ☆209Updated 2 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆662Updated 3 weeks ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆728Updated 3 years ago
• huachaohuang / awesome-dbdev
  Awesome materials about database development.
  ☆1,493Updated last year
• audrey617 / CS6210-Advanced-Operating-Systems-Notes
  Gatech CS6210 Advanced Operating Systems
  ☆23Updated 2 years ago
• kophy / 6.824
  Labs of MIT 6.824: Distributed Systems.
  ☆151Updated 4 years ago