Alternatives and similar repositories for lecture1

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

• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆15Updated 3 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆107Updated last year
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆17Updated 3 weeks ago
• mwillsey / cs265
  Website for CS 265
  ☆32Updated last year
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 5 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆125Updated 5 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 5 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆20Updated 2 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆21Updated 4 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆57Updated 7 months ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 5 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 6 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆21Updated 2 months ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated 2 weeks ago
• viktorleis / mmapbench
  ☆146Updated 3 years ago
• stanford-cs242 / f19-assignments
  ☆35Updated 5 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆40Updated 2 weeks ago
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆42Updated 2 years ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆32Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆182Updated last month
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆28Updated 7 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 7 months ago
• pku-minic / first-step-rs
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago