dddrrreee / cs240lx-20sprLinks
course materials for cs240lx @ stanford
☆20Updated 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
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆26Updated 2 years ago
- Yizhou' Homepage☆51Updated 2 months ago
- All material for CS140E, winter 2023.☆88Updated last year
- Chickadee OS for Harvard CS 161☆99Updated 8 months ago
- Lab assignments for 6.826☆16Updated 4 years ago
- A Linux kernel module that implements the Homa transport protocol.☆243Updated 2 months ago
- A collection of common Bluespec interfaces/modules.☆102Updated last year
- Mirror of the official Barrelfish OS repository.☆211Updated 2 years ago
- Experimental kernel with built-in replication.☆160Updated 2 months ago
- The basics of low-level concurrency in a sub-30 minute read☆242Updated 4 years ago
- A component-based OS☆191Updated 7 months ago
- The Twizzler Operating System☆97Updated last week
- Testing memory-level parallelism☆82Updated last year
- A zero-copy serialization library and networking stack.☆48Updated last year
- A collection of software performance content, blogs, books, and lists.☆120Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆63Updated 2 years ago
- ☆63Updated last year
- RISC-V instruction set simulator built for education☆160Updated 3 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 3 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆123Updated 5 years ago
- A P4 compiler☆133Updated last week
- Unikernel Linux☆218Updated last month
- hBPF = eBPF in hardware☆420Updated 2 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆15Updated 9 years ago
- DAMON user-space tool☆163Updated last year
- Financial literacy for computer science students☆32Updated last year
- RISC-V hypervisor written in Rust☆363Updated 5 years ago