Pinned Loading

1. acm-icpc-cheat-sheet acm-icpc-cheat-sheet Public

   Cheat sheet for ACM-ICPC. In memory of those good old days.

   C++ 171 49

2. BadAppleOS BadAppleOS Public

   (touhou / 東方) x86 Operating System animating BadApple.

   C++ 64 4

3. verified verified Public

   Coq formalizations and proofs of (data) structures and algorithms.

   Coq 47 3

4. yfs yfs Public

   Yet Another File System (yfs) based on Paxos algorithm.

   C++ 16 5

5. pingcap/tla-plus pingcap/tla-plus Public

   TLA 305 39

6. xv6fs xv6fs Public

   xv6::file_system re-implemented in Rust and FUSE.

   Rust 11 1