dddrrreee / cs240lx-20sprLinks
course materials for cs240lx @ stanford
☆20Updated 5 years ago
Alternatives and similar repositories for cs240lx-20spr
Users that are interested in cs240lx-20spr are comparing it to the libraries listed below
Sorting:
- class repo for cs140e, stanford winter quarter 2022☆52Updated 3 years ago
- All material for CS140E, winter 2023.☆90Updated last year
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆26Updated 2 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- A component-based OS☆193Updated 9 months ago
- Lab assignments for 6.826☆17Updated 5 years ago
- Yizhou' Homepage☆52Updated 3 months ago
- The Twizzler Operating System☆101Updated last week
- RISC-V hypervisor written in Rust☆366Updated 5 years ago
- ☆64Updated last year
- Benchmarking suite for Google workloads☆133Updated last week
- Testing memory-level parallelism☆82Updated last year
- Mirror of the official Barrelfish OS repository.☆215Updated 2 years ago
- hBPF = eBPF in hardware☆422Updated 2 years ago
- A Linux kernel module that implements the Homa transport protocol.☆268Updated last month
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Experimental kernel with built-in replication.☆162Updated 4 months ago
- Chickadee OS for Harvard CS 161☆101Updated 9 months ago
- ☆13Updated 11 months ago
- ☆204Updated 3 years ago
- A computer for human beings.☆47Updated last year
- Trace instruction execution using perf breakpoints in Python☆20Updated last year
- No-assurance libraries for rapid-prototyping of seL4 apps.☆56Updated 3 months ago
- Unikernel Linux☆227Updated 3 months ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Updated 5 years ago
- ☆150Updated 2 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- ☆227Updated last year
- DAMON user-space tool☆163Updated last year
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆125Updated 5 years ago