CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
☆65Nov 25, 2020Updated 5 years ago
Alternatives and similar repositories for cs360v-f20
Users that are interested in cs360v-f20 are comparing it to the libraries listed below
Sorting:
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆26Jan 23, 2025Updated last year
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 5 years ago
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Apr 24, 2021Updated 4 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Dec 10, 2019Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ucore+ repository for OS laboratory 2015☆11Jun 1, 2018Updated 7 years ago
- ☆12Jan 9, 2026Updated 2 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- A Scheduling Problem in Prolog☆13Feb 3, 2016Updated 10 years ago
- Scripts used to setup a Spark cluster on EC2☆21Mar 24, 2016Updated 9 years ago
- MIT 6.824-2012☆10Jun 30, 2018Updated 7 years ago
- Terminal UI for Discourse forums☆14Mar 25, 2019Updated 6 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- The Programmable Data Plane: Reading List☆52Sep 29, 2020Updated 5 years ago
- Paytm Payments Flutter SDK☆14May 7, 2019Updated 6 years ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆16Jan 18, 2022Updated 4 years ago
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated 11 months ago
- QA Skills Directory QA Skills is a curated directory of testing-specific skills for AI coding agents (Claude Code, Cursor, Copilot, etc.)…☆72Feb 27, 2026Updated last week
- I2C API for WASI☆23Nov 26, 2025Updated 3 months ago
- ☆18Jun 29, 2018Updated 7 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 7 years ago
- High performance NCCL plugin for Bagua.☆15Sep 15, 2021Updated 4 years ago
- ZNS Append-only based LSM key-value store☆21Sep 22, 2023Updated 2 years ago
- ☆21Sep 22, 2017Updated 8 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- ☆24Jul 30, 2020Updated 5 years ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Feb 4, 2019Updated 7 years ago
- Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms☆30Jul 2, 2023Updated 2 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 4 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Oct 11, 2023Updated 2 years ago
- A Rocket based JSON Web Token authentication server.☆32Jun 29, 2020Updated 5 years ago
- RedLeaf Operating System☆138May 9, 2022Updated 3 years ago