phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

msp-strath/ask

being a particular fragment of Haskell, extended to a proof system

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

effectfully/sketches

A Haskell blog

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"