A Dependently Typed Functional Programming Language

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Homomorphic machine learning

A fast Haskell JSON library

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Shake build system

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Generate command-line completions using a simple DSL.

Haskell shell scripting

A distributed computing framework for Haskell

A Redis client library for Haskell.

A fast, high quality library for computing with statistics in Haskell.

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

A fast HTTP server library, which runs Snap web handlers.

higher order dependently typed logic programing

Mutable hash tables for Haskell, in the ST monad

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot

A language with dependent types

being a funny little programming language with a funny little abstract machine

XML generator library for Haskell

A monad for spark-based deterministic concurrent revision control