Alternatives and similar repositories for dalgo

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

• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,406Updated 2 months ago
• WenbinZhu / mit-6.824-labs
  MIT 6.824 (Distributed Systems) labs in Go
  ☆209Updated 4 years ago
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆177Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• Qwe1rty / distributed_systems_notes
  My collection of handwritten notes and resources for learning distributed systems
  ☆171Updated 3 years ago
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆616Updated 3 years ago
• Haswf / ComputerSystemNote
  Lecture Note for COMP30023 Computer System at The University of Melbourne
  ☆18Updated 4 years ago
• mohamedameen93 / CS-6210-Advanced-Operating-Systems-Notes
  In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).
  ☆110Updated 6 years ago
• namasikanam / raft-spin
  A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆16Updated 4 years ago
• samuel-x / unimelb-notes
  Notes that I've taken over my Computer Systems and Software course at The University of Melbourne
  ☆135Updated 5 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last month
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆292Updated 2 months ago
• palladian1 / xv6-annotated
  A detailed guide to the xv6 code.
  ☆259Updated 2 years ago
• surajrampure / berkeley-cs-courses
  A list of links to various Berkeley CS courses and their resources.
  ☆318Updated 6 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆833Updated 3 years ago
• cmu-db / 15445-bootcamp
  A basic introduction to coding in modern C++.
  ☆815Updated 10 months ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated this week
• cs4118 / recitations
  Recitation notes for cs4118, Operating Systems I
  ☆37Updated last year
• uchicago-cs / chidb
  ☆68Updated 2 years ago
• blargoner / math-logic-ebbinghaus
  Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus
  ☆12Updated 8 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• cz717 / bksol
  ☆10Updated 8 years ago
• COS418F18 / assignments_template
  ☆32Updated last year
• angrave / CS341-Lectures-FA22
  ☆8Updated 2 years ago
• awelm / simpledb
  A simple database built from scratch that has some the basic RDBMS features (SQL query parser, transactions, query optimizer)
  ☆304Updated 2 years ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆375Updated 3 weeks ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆77Updated last year
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆218Updated 2 years ago