Pinned Loading

1. OI-Public-Library OI-Public-Library Public

   OI / ACM-ICPC essays and learning materials

   Rich Text Format 1.5k 380

2. syswonder/hvisor syswonder/hvisor Public

   a Rust Hypervisor for mission-critical system

   Rust 112 35

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. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix

5. methane methane Public

   A polyphonic synthesizer built on fpga and esp32

   SystemVerilog 12 1

6. torvalds/linux torvalds/linux Public

   Linux kernel source tree

   C 198k 57k