Popular repositories Loading

1. Distiller Distiller Public

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

   Haskell 28 7

2. Higher-Level-Transformer Higher-Level-Transformer Public

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

   Haskell 5 2

3. Higher-Order-Supercompiler Higher-Order-Supercompiler Public

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

   Haskell 4 1

4. Terminator Terminator Public

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

   Haskell 2

5. Higher-Order-Deforester Higher-Order-Deforester Public

   Implementation of Higher Order Deforestation as described in the paper "Higher Order Deforestation"

   Haskell 2 1

6. Haver Haver Public

   Haskell Verification Tool as described in the paper "Distilling Programs for Verification"

   Haskell 1