alpheccar's starred repositories
stanford-cs240h
Course materials for Stanford CS240h, "Functional Systems in Haskell"
ghc
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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
iOS-Couchbase
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
Learn you an Agda (and achieve enlightenment)
ValidateStoreReceipt
validate the receipt a well-known computer company's application store sends
statistics
A fast, high quality library for computing with statistics in Haskell.
Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
categories
categories from category-extras
category-extras
category-theoretic goodness for Haskell
Hierarchical-Bayes-Compiler
Hal Daume's hbc