The PGG system is Peter Thiemann's partial evaluation system for the programming language Scheme. - View it on GitHub