Learn you an Agda (and achieve enlightenment)
Agda 305 34
A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell 52 8
A wiki based on firm theoretical foundations
Haskell 51 2
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Haskell 51 4
High level, generic library for interrogative user interfaces in Haskell
Haskell 37 3
A graphical interactive proof assistant designed for education
Haskell 36