GitHub repository: martyall/categorifier
Description: Interpret Haskell programs into any cartesian closed category.