A Haskell library that simplifies access to remote data, such as databases or web-based services.

A Dependently Typed Functional Programming Language

Haskell to JavaScript compiler, based on GHC

Homomorphic machine learning

A GHC-based Haskell to JavaScript compiler

A proper subset of Haskell that compiles to JavaScript

Liquid Types For Haskell

Functional Programming Course

Applicative option parser

A streaming data library

A demo implementation of a simple dependently-typed language

Automatic Differentiation

A CSS preprocessor as embedded Haskell.

Networks of composable stream transducers

A lexical analyser generator for Haskell

Simply Reactive! Declarative orchestration in Haskell using RDP

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

A CSV parsing and encoding library optimized for ease of use and high performance

The Ermine Programming Language - Join us on irc.freenode.net #ermine

c2hs is a pre-processor for Haskell FFI bindings to C libraries

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

Convert lambda expressions to CCC combinators

File/CGI web server on Warp

Unified Haskell interface for basic file system notifications

A Haskell implementation of crit-bit trees.

A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.

A fork of jhc. And also a Haskell compiler.

Combinators for manipulating locally-nameless generalized de Bruijn terms

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Generic parser combinators