GitHub repository: sweirich/dth
Primary language: Haskell
Description: Examples of Dependently-typed programs in Haskell