Discover @poitin Open Source projects

Geoff Hamilton (@poitin)

poitin

Stars
29
Global Rank 505,517 (Top 18 %)
Followers 14
Following 1
Registered almost 14 years ago
Most used languages

Haskell
100.0 %
Location 🇮🇪 Ireland
Country Total Rank 1,027
Country Ranking

Haskell
10

Distiller

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

Higher-Level-Transformer

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

Terminator

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

Poitin

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