This is your work, valued

Ireland

Geoff Hamilton

Advanced
@poitin

Currently overhauling all code repositories.

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

30

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

5

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

5

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

2

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

1

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

1