dddrrreee / cs240lx-20spr
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:
- All material for CS140E, winter 2023.☆81Updated last year
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆24Updated 2 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 4 years ago
- class repo for cs140e, stanford winter quarter 2022☆51Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- ☆47Updated 2 years ago
- Yizhou' Homepage☆47Updated 5 months ago
- A collection of common Bluespec interfaces/modules.☆98Updated last year
- Lab assignments for 6.826☆15Updated 4 years ago
- ☆169Updated 2 years ago
- The Twizzler Operating System☆91Updated this week
- Repo for Performance Interfaces for Hardware Accelerators.☆12Updated 10 months ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆11Updated 7 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆35Updated 7 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
- cs140e winter 2019 class materials.☆138Updated 5 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆118Updated 4 years ago
- Virtualisation platform using CHERI for isolation and sharing☆37Updated 11 months ago
- ☆30Updated 3 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- A curated list of resources on operating system design and implementation.☆148Updated 11 months ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 3 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 4 years ago
- ☆62Updated 10 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆99Updated last month
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- TCP Congestion Control -- Micro-book☆124Updated last week
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆26Updated 3 months ago
- A fun OS course☆19Updated 4 years ago