Alternatives and similar repositories for cloud-lab

Users that are interested in cloud-lab are comparing it to the libraries listed below

• ls1-sys-prog-course-archive-SoSe23 / docs
  Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023
  ☆24Updated 2 years ago
• pocs-epfl / public
  POCS materials for the public
  ☆15Updated 7 months ago
• Vuenc / TUM-Master-Informatics-Offered-Lectures
  Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.
  ☆139Updated 3 weeks ago
• TUM-Dev / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆207Updated 5 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• mosharaf / eecs489
  EECS 489: Computer Networks @ the University of Michigan
  ☆264Updated 3 months ago
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆702Updated last month
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆153Updated last year
• nus-sys / cs5223-labs
  ☆66Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆138Updated this week
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 4 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆89Updated 3 weeks ago
• mcmikecreations / tum_info
  TUM exam statistics and more at the Technical University of Munich.
  ☆50Updated 5 months ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆82Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated 2 years ago
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆97Updated 3 weeks ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆55Updated 2 months ago
• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,436Updated 4 months ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆53Updated last year
• cacheMon / NSDI24-SIEVE
  The repo for NSDI24 paper: SIEVE is Simpler than LRU: an Efficient Turn-Key Eviction Algorithm for Web Caches
  ☆73Updated last year
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆48Updated last year
• Derecho-Project / derecho
  The main code repository for the Derecho project.
  ☆199Updated last month
• scuptio / sedeve-kit
  In Spec We Trust
  ☆37Updated 2 months ago
• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆136Updated last month
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• MaximilianAnzinger / pgdp2223-tests
  Collection of JUnit Tests for PGdP exercises at TUM in WS22/23
  ☆98Updated 2 years ago
• AlessandroGrassi99 / wgbot
  A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords
  ☆30Updated 2 years ago
• andrewcrotty / cs496-f22
  CS 496: Special Topics in Data Systems Seminar (Fall 2022)
  ☆11Updated 2 years ago