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
  ☆462Updated last year
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,534Updated 5 months ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆824Updated 2 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!
  ☆491Updated 2 months ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,141Updated last month
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆414Updated 9 years ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,572Updated 2 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆479Updated 4 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,313Updated last week
• WenbinZhu / mit-6.824-labs
  MIT 6.824 (Distributed Systems) labs in Go
  ☆199Updated 3 years ago
• theanalyst / awesome-distributed-systems
  A curated list to learn about distributed systems
  ☆10,821Updated last week
• Qwe1rty / distributed_systems_notes
  My collection of handwritten notes and resources for learning distributed systems
  ☆171Updated 3 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆989Updated last week
• dancres / Pages
  A Distributed Systems Reading List
  ☆180Updated 4 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆646Updated 3 months ago
• colohan / dschat
  AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com
  ☆147Updated 4 years ago
• cmu-db / noisepage
  Self-Driving Database Management System from Carnegie Mellon University
  ☆1,744Updated 2 years ago
• splvm / distsys-meetup
  ☆208Updated 2 years ago
• heathermiller / dist-prog-book
  ☆3,430Updated 3 years ago
• roma-glushko / awesome-distributed-system-projects
  🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
  ☆785Updated 8 months ago
• talent-plan / tinykv
  A course to build distributed key-value service based on TiKV model
  ☆3,510Updated last month
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,068Updated 7 months ago
• gortonator / bsds-6650
  CS6650 Building Scalable Distributed Systems
  ☆120Updated last year
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆189Updated 6 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,500Updated 3 months ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,519Updated last week
• cmu-db / 15445-bootcamp
  A basic introduction to coding in modern C++.
  ☆755Updated 5 months ago
• mohamedameen93 / CS-6210-Advanced-Operating-Systems-Notes
  In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).
  ☆105Updated 5 years ago
• jguamie / system-design
  ☆699Updated last year
• illinois-cs241 / coursebook
  Open Source Introductory Systems Programming Textbook for the University of Illinois
  ☆705Updated 3 months ago