Alternatives and similar repositories for cs240lx-20spr

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

• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆85Updated last year
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years 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 4 years ago
• dddrrreee / cs240lx-22spr
  cs240lx class repo. except in very rare cases, cs140e is a hard requirement.
  ☆26Updated 2 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 7 months ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆51Updated last month
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 4 years ago
• lemire / testingmlp
  Testing memory-level parallelism
  ☆82Updated last year
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 5 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆96Updated this week
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆209Updated 2 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆217Updated last year
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆120Updated 11 months ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆241Updated 4 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 7 months ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆419Updated 2 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆132Updated this week
• 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
• mfleming / performance-resources
  A collection of software performance content, blogs, books, and lists.
  ☆120Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆122Updated 3 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆122Updated 5 years ago
• google / ghost-kernel
  ☆227Updated last year
• awslabs / damo
  DAMON user-space tool
  ☆163Updated last year
• Xilinx / nanotube
  ☆105Updated 2 weeks ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆14Updated 9 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated last week
• bitonic / pipes-speed-test
  ☆198Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 3 years ago