julesjacobs

julesjacobs's Stars

• gasche/icfp2017-papers

  Link to preprints for ICFP'17 and colocated events

  13621

• dvanhorn/redex-aam-tutorial

  An Introduction to Redex with Abstracting Abstract Machines

  Language:Racket10114

• julesjacobs/Pairing-Heap

  Language:F#1

• julesjacobs/Raamwerk

  Toy Ruby continuation based framework

  Language:Ruby31