Implementations of Partial Evaluation

Partial Evaluators for Scheme

• PGG: An offline partial evaluator for full Scheme. Developed by Peter Thiemann.
• Schism: An offline partial evaluator for pure Scheme; developed by Charles Consel and the COMPOSE project.
• Similix: An offline partial evaluator for a large subset of Scheme. Developed by the TOPPS group at University of Copenhagen.
• POPE: An online partial evaluator developed by Peter Řrbćk. Supports side effects and mutable data.

Partial Evaluators for C

• Tempo: developed by the COMPOSE Project
• C-Mix: developed by the TOPPS group at the University of Copenhagen

Partial Evaluators for Java

• JSpec: an offline partial evaluator for Java; developed by the COMPOSE Project
• JSCC: A Java Specialization Classes Compiler; developed by the COMPOSE Project

Partial Evaluators for ML

• SML-mix: TOPPS group at the University of Copenhagen
• MLOPE: developed by Simon Helsen and Peter Thiemann

Partial Evaluators for Prolog

• Logen: an offline partial evaluator for Prolog. Developed by Michael Leuschel, Jesper Joergensen and Stephen-John Craig.
• Ecce: The Partial Deduction System. Ecce is an online partial evaluator for pure Prolog programs. Maintained by Michael Leuschel.
• Mixtus: an automatic partial evaluator for full Prolog. Developed by Dan Sahlin.
• ProMiX: a partial evaluator for Prolog, developed by Arun Lakhotia and Leon Sterling

Partial Evaluators for Goedel

• SAGE: A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel, written by Corin Gurr

Partial Evaluators for Curry

• INDY: the "Integrated Narrowing-Driven" specialization system. A partial evaluator for functional logic programs.
• Curry Partial Evaluator: purely declarative partial evaluator for the multi-paradigm language Curry. Developed by Elvira Albert, Germán Vidal, and Michael Hanus.
• Cost-Augmented Partial Evaluator (for Curry programs): Extends the original Curry partial evaluator.
• Forward Slicing Tool for Curry: Developed by German Vidal.

Prototypes and Other Code

• Toy Partial Evaluator for Scheme: Developed by Marc Feeley; code from the Scheme Repository
• Code from the book "Partial Evaluation and Automatic Program Generation": Includes the partial evaluator for a first-order Scheme subset and a flowchart language partial evaluator written in Prolog.
• Termination Analyser for PGG: Developed by Arne Glenstrup
• Type Specialization: John Hughes' prototype
• Principal Type Specialization: Alejandro Russo's prototype
• MiXIMUM: A "Jones-optimal" type specializer a strongly-typed toy language developed by Henning Makholm
• Type-Directed Partial Evaluation code: Code in ML from the Olivier Danvy's course at the Partial Evaluation 1998 Summer School
• Type-Directed Partial Evaluation for the types lambda-calculus with strong binary sums: Implementation associated with Vincent Balat's POPL'04 paper
• Mini-Haskell Partial Evaluator: Developed by John Hughes, Chalmers
• A small Partial Evaluator written in Haskell: Developed Doaitse Swierstra and Arjan van IJzendoorn, at Utrecht
• Essence: An LR parser generator for Scheme. Developed by Peter Thiemann and Mike Sperber, using PGG.