PinnedLoading

1. acm-icpc-cheat-sheetacm-icpc-cheat-sheetPublic

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

   C++ 167 48

2. BadAppleOSBadAppleOSPublic

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

   C++ 59 4

3. verifiedverifiedPublic

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

   Coq 46 3

4. yfsyfsPublic

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

   C++ 16 5

5. pingcap/tla-pluspingcap/tla-plusPublic

   TLA 295 41

6. xv6fsxv6fsPublic

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

   Rust 10 1