Geoff Hamilton

Distiller. Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

Higher-Order-Supercompiler. An implementation of the higher-order supercompilation algorithm as described in the paper "On the Termination of Higher-Order Positive Supercompilation"

Higher-Level-Transformer. Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

Higher-Order-Deforester. Implementation of Higher Order Deforestation as described in the paper "Higher Order Deforestation"

Poitin. Theorem Proving Tool as described in the paper "Distilling Proofs for Theorems"

Terminator. Program Termination Checker as described in the paper "Distilling Programs for Termination Checking"