Stars
Course materials for Stanford CS240h, "Functional Systems in Haskell"
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
This repository fork is obsolete; the project's been restructured and development is going on in other repos. Please follow the link below, or read the current README.
Learn you an Agda (and achieve enlightenment)
validate the receipt a well-known computer company's application store sends
A powerful but simple library for measuring the performance of Haskell code.
A fast, high quality library for computing with statistics in Haskell.
Voevodsky's original development of the univalent foundations of mathematics in Coq