Yifan Chen

ministgwasm. A compiler from mini-STG to Wasm (**far from complete**)

require. A language for inputs with a failure probability.

soot-demo. Java

jos-labs. Course labs of MIT 6.828 JOS

libdai. A fork of https://staff.fnwi.uva.nl/j.m.mooij/libDAI/

opt-prolog. test some opt strategies in porlog

dive-into-ghc. Some notes on the source code of the Glorious Haskell Compiler