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
• TUM-DSE / sys-lab
  Computer Systems Lab
  ☆11Updated 2 weeks ago
• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 3 years ago
• pdm-book / community
  ☆78Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆16Updated 3 years ago
• LPD-EPFL / mu
  Mu: Microsecond Consensus for Microsecond Applications
  ☆40Updated 4 years ago
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆581Updated 11 months ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆81Updated 3 weeks ago
• Citegraph / citegraph
  CiteGraph: A citation graph web visualizer
  ☆18Updated 6 months ago
• basic-toolbox-sample-code / basic-toolbox-sample-code
  Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book
  ☆25Updated 7 years ago
• nipkow / fds_ss20
  Lecture course on verified Functional Data Structures
  ☆28Updated 4 years ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆53Updated last week
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆66Updated last week
• nus-sys / cs5223-labs
  ☆64Updated 3 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆93Updated last month
• pocs-epfl / public
  POCS materials for the public
  ☆14Updated 5 months ago
• viktorleis / mmapbench
  ☆137Updated 3 years ago
• andrewcrotty / cs496-f22
  CS 496: Special Topics in Data Systems Seminar (Fall 2022)
  ☆11Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆131Updated last week
• simgrid / simgrid
  MIRROR of the SimGrid framework, for the simulation of distributed applications (Clouds, HPC, Grids, IoT and others). Most of the dev occ…
  ☆180Updated this week
• minlanyu / cs243-site
  ☆65Updated 7 months ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆52Updated 3 weeks ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆191Updated this week
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 11 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆71Updated 7 months ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆80Updated 3 years ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆36Updated 2 years ago