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
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 4 years ago
- ☆18Oct 9, 2023Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆23Apr 28, 2023Updated 3 years ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- ☆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 5 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Aug 15, 2026Updated 2 weeks ago
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 6 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 4 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated last year
- ☆18Mar 15, 2020Updated 6 years ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 13, 2022Updated 4 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 5 months ago
- ☆19Aug 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Metronome: adaptive and precise intermittent packet retrieval in DPDK☆16Jun 13, 2024Updated 2 years ago
- ☆14Dec 15, 2022Updated 3 years ago
- Electrode: Accelerating Distributed Protocols with eBPF☆53Oct 14, 2023Updated 2 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆14Jan 4, 2021Updated 5 years ago
- A curated list of awesome serverless research works, including papers and open-sourced projects.☆87Nov 28, 2022Updated 3 years ago
- 我的一生一芯项目☆16Dec 14, 2021Updated 4 years ago
- Spring 2022 Course Website for Operating System Course at Peking University☆11Oct 14, 2022Updated 3 years 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.
- 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☆17Jul 3, 2026Updated last month
- 方便扩展的Cuda算子理解和优化框架，仅用在学习使用☆18Jun 13, 2024Updated 2 years ago
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- Vector search with bounded performance.☆34Jan 26, 2024Updated 2 years ago
- A benchmarking framework for on-device AI☆20Aug 20, 2026Updated last week