julesjacobs's Stars
gasche/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
dvanhorn/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
julesjacobs/Pairing-Heap
julesjacobs/Raamwerk
Toy Ruby continuation based framework