foreverbell's repositories
acm-icpc-cheat-sheet
Cheat sheet for ACM-ICPC. In memory of those good old days.
BadAppleOS
(touhou / 東方) x86 Operating System animating BadApple.
project-euler-solutions
Project Euler solutions in Haskell.
BadAppleOS.rs
BadAppleOS in Rust.
ray-tracer
SDL-based implementation of a tiny and cross-platform ray tracer.
mini-symex
Mini Symbolic Execution Engine in Python for Educational Purposes.
netease-fm
NetEase Cloud Music FM client in Haskell. (网易云音乐客户端)
permutation-solver
A tactics for solving goals about permutation in Coq.
lisa-kaleidoscope
A collection of "Hello World"s in varieties of programming languages.
angr-rust-example
angr + Rust PoC.
tapl-haskell
TAPL in Haskell.
tcp-obfuscation
A multi-path proxy.
x86-litmus
Model-checks x86-TSO in TLC style.
dockerfiles
Collections.
spacemacs-coq
A Coq layer for Spacemacs