dddrrreee / cs240lx-20sprLinks
course materials for cs240lx @ stanford
☆21Updated 4 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☆51Updated 3 years ago
- All material for CS140E, winter 2023.☆84Updated last year
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 4 years ago
- Lab assignments for 6.826☆15Updated 4 years ago
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆25Updated 2 years ago
- Yizhou' Homepage☆47Updated last month
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 3 years ago
- ☆62Updated last year
- hBPF = eBPF in hardware☆417Updated 2 years ago
- A collection of common Bluespec interfaces/modules.☆101Updated last year
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆121Updated 5 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆122Updated this week
- A Linux kernel module that implements the Homa transport protocol.☆235Updated last month
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆206Updated 2 years ago
- A component-based OS☆190Updated 5 months ago
- Succinct notes on the linux mm subsystem.☆122Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- High level overview of Rust☆18Updated 3 years ago
- DAMON user-space tool☆162Updated 10 months ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Chickadee OS for Harvard CS 161☆95Updated 5 months ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆88Updated last year
- ☆123Updated last month
- ☆184Updated 3 years ago
- Risc-V hypervisor for TEE development☆119Updated last month
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆13Updated last month
- ☆232Updated last year