Pinned Loading

1. linux linux Public

   Forked from torvalds/linux

   wheatfox's Linux kernel source tree for patching

   C

2. syswonder/hvisor syswonder/hvisor Public

   minimal type-1 Rust Hypervisor for edge devices

   Rust 139 44

3. asterinas asterinas Public

   Forked from asterinas/asterinas

   Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

   Rust

4. OI-Public-Library OI-Public-Library Public

   OI / ACM-ICPC essays and learning materials

   Rich Text Format 1.6k 386

5. methane methane Public

   A polyphonic synthesizer built on fpga and esp32

   SystemVerilog 12 1

6. mit-6.828 mit-6.828 Public

   wheatfox's MIT 6.828 lab solution

   C 1