foreverbell
Results
5
repositories owned by
foreverbell
acm-icpc-cheat-sheet
167
Stars
48
Forks
Watchers
Cheat sheet for ACM-ICPC. In memory of those good old days.
BadAppleOS
55
Stars
4
Forks
Watchers
(touhou / 東方) x86 Operating System animating BadApple.
project-euler-solutions
17
Stars
0
Forks
Watchers
Project Euler solutions in Haskell.
verified
43
Stars
3
Forks
Watchers
Coq formalizations and proofs of (data) structures and algorithms.
yfs
16
Stars
5
Forks
Watchers
Yet Another File System (yfs) based on Paxos algorithm.