Campbell He's starred repositories
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
design-patterns-rust
Rust examples for all 23 classic GoF design patterns, and even a little more
ventus-gpgpu
GPGPU processor supporting RISCV-V extension, developed with Chisel HDL
CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
rCore-Tutorial-in-single-workspace
没分支的 rCore-Tutorial
code-debug
支持Rust语言的源代码级操作系统调试工具