Pinned

1. xv6-public xv6-public Public

   xv6 OS

   C 7.4k 3.7k

2. noria noria Public

   Fast web applications through dynamic, partially-stateful dataflow

   Rust 4.9k 236

3. RVirt RVirt Public

   RISC-V hypervisor written in Rust

   Rust 333 29

4. perennial perennial Public

   Verifying concurrent crash-safe systems

   Coq 129 32

5. xv6-riscv xv6-riscv Public

   Xv6 for RISC-V

   C 6.2k 2.2k

6. biscuit biscuit Public

   Biscuit research OS

   Go 2.4k 177