A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.
Imported from https://code.google.com/p/unmix/.
A revised version (for Racket) see at https://github.com/annenkov/unmix.