Course website for Advanced Operating Systems
☆13Apr 8, 2022Updated 4 years ago
Alternatives and similar repositories for eecs582
Users that are interested in eecs582 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- ☆23Apr 28, 2023Updated 3 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 29, 2024Updated 2 years ago
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 9 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- User-mode trap-and-emulate hypervisor for RISC-V☆14Feb 11, 2022Updated 4 years ago
- Towards a million-node RISC-V cluster.☆14Mar 6, 2025Updated last year
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- 调试大师：你见过最强的内核调试器☆36May 6, 2021Updated 5 years ago
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 6 years ago
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 4 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated last year
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 13, 2022Updated 4 years ago
- ☆18Mar 15, 2020Updated 6 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆27Mar 8, 2026Updated 4 months ago
- ☆18Aug 7, 2024Updated last year
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- Metronome: adaptive and precise intermittent packet retrieval in DPDK☆16Jun 13, 2024Updated 2 years ago
- ☆14Dec 15, 2022Updated 3 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆14Jan 4, 2021Updated 5 years ago
- Spring 2022 Course Website for Operating System Course at Peking University☆11Oct 14, 2022Updated 3 years ago
- Take your first step in writing a compiler.☆29May 2, 2021Updated 5 years ago
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 3 years ago
- Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS☆16Jul 3, 2026Updated 2 weeks ago
- My RV64 CPU (Work in progress)☆19Dec 22, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- 方便扩展的Cuda算子理解和优化框架，仅用在学习使用☆18Jun 13, 2024Updated 2 years ago
- Vector search with bounded performance.☆35Jan 26, 2024Updated 2 years ago
- PKU Mirror Frontend☆11Apr 5, 2025Updated last year
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- A GPU FP32 computation method with Tensor Cores.☆27Dec 8, 2025Updated 7 months ago
- A resilient distributed training framework☆100Apr 11, 2024Updated 2 years ago