Samizdat
OLEG
such as it is
NBE
-style Haskell implementations of a calculus or two