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 6

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

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

   Haskell 4 2

3. Terminator Terminator Public

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

   Haskell 2

4. 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 1

5. Haver Haver Public

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

   Haskell 1

6. Poitin Poitin Public

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

   Haskell 1