Alternatives and similar repositories for cs240lx-20spr

Users that are interested in cs240lx-20spr are comparing it to the libraries listed below

• 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
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• dddrrreee / cs240lx-22spr
  cs240lx class repo. except in very rare cases, cs140e is a hard requirement.
  ☆26Updated 2 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆83Updated last year
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆48Updated 2 weeks ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆209Updated 2 years ago
• LinuxPerfStudy / LEBench
  ☆63Updated last year
• mit-pdos / ward
  ☆30Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• gwsystems / composite
  A component-based OS
  ☆190Updated 6 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆96Updated this week
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆418Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆16Updated 3 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 7 months ago
• google / ghost-userspace
  ☆233Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last month
• olivierpierre / unikernel-papers
  ☆123Updated 2 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 5 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆130Updated 3 years ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆102Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆121Updated 2 months ago
• stanford-cs242 / f19-assignments
  ☆33Updated 5 years ago
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆33Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆20Updated 4 years ago