Pinned Loading

1. xv6-riscv xv6-riscv Public

   Xv6 for RISC-V

   C 8.5k 3.3k

2. perennial perennial Public

   Verifying concurrent crash-safe systems

   Rocq Prover 200 41

3. noria noria Public

   Fast web applications through dynamic, partially-stateful dataflow

   Rust 5.2k 248

4. biscuit biscuit Public

   Biscuit research OS

   Go 2.5k 182

5. sigmaos sigmaos Public

   Go 147 17

6. fscq fscq Public

   FSCQ is a certified file system written and proven in Coq

   Coq 247 22