Learn you an Agda (and achieve enlightenment)
Agda 303 34
A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell 50 8
A wiki based on firm theoretical foundations
Haskell 48 2
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Haskell 45 4
High level, generic library for interrogative user interfaces in Haskell
Haskell 35 4
An intensely interactive, graphical theorem prover based on natural deduction
Haskell 20