My Home Page at Keldysh Institute of Applied Mathematics.
My GitHub profile.
SPSC: A Small Positive Supercompiler in Scala, Haskell, Python, Ruby & JavaScript.
Unmix, a program specializer (based on partial evaluation) for a subset of Scheme. See also a version for Racket by Danil Annenkov.