Alternatives and similar repositories for dalgo:

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

• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆175Updated 3 years ago
• ChrisWhealy / DistributedSystemNotes
  Notes on Lindsey Kuper's lectures on Distributed Systems
  ☆470Updated last year
• Qwe1rty / distributed_systems_notes
  My collection of handwritten notes and resources for learning distributed systems
  ☆172Updated 3 years ago
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆607Updated 3 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆141Updated 9 months ago
• LeifAndersen / PLGradSchools
  ☆230Updated 8 months ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated 3 weeks ago
• zackads / sicp
  My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs
  ☆50Updated 2 years ago
• cmu-db / 15445-bootcamp
  A basic introduction to coding in modern C++.
  ☆793Updated 8 months ago
• huachaohuang / awesome-dbdev
  Awesome materials about database development.
  ☆1,485Updated last year
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• comp90015 / tutes
  University of Melbourne COMP90015 Distributed Systems Code Challenges (Weeks 2-8,11)
  ☆15Updated 3 years ago
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆125Updated 4 years ago
• mosharaf / eecs489
  EECS 489: Computer Networks @ the University of Michigan
  ☆255Updated this week
• aos / computer-networking-study
  Learning computer networking through projects and readings
  ☆116Updated 9 months ago
• cs3110 / textbook
  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
  ☆801Updated 2 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆196Updated 11 months ago
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆282Updated last month
• junjieliu2910 / cmu-15-445
  The project folder of the 15-445 Introduction to Database system
  ☆45Updated 6 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 3 months ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆527Updated 2 months ago
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆148Updated 10 months ago
• wangjohn / mit-courses
  Repository of course notes and homework
  ☆420Updated 2 years ago
• WenbinZhu / mit-6.824-labs
  MIT 6.824 (Distributed Systems) labs in Go
  ☆203Updated 4 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 5 months ago
• COMP90082-2022-SM2 / comp90082-2022-sm2-resources
  ☆9Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• COS418F18 / assignments_template
  ☆31Updated last year
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆865Updated 5 months ago
• paulosman / database-systems
  A collection of resources about databases and related topics
  ☆91Updated 2 years ago