Type Assisted Synthesis of Programs with Algebraic Data Typ Es [pdf]people.csail.mit.edu·2 pts·thesz·0
Happy Healthy Long Life: The Longevity/Vigor Quest by centenarian Joe Rollino.happyhealthylonglife.com·2 pts·thesz·0
HaNS is a pure Haskell network stack: 802.3, IPv4, ..., UDP, and TCP. hackage.haskell.org·82 pts·thesz·12
Distillation - supercompilation from quadratic (and exp) programs to linear onesmeta2010.pereslavl.ru·5 pts·thesz·0
Spsc - A Small Positive Supercompiler in Scala, Haskell, Python & Rubycode.google.com·41 pts·thesz·16
How to get rid of unit tests (Ruby Scottish Conf video).video2010.scottishrubyconference.com·2 pts·thesz·0