A Dependently Typed Functional Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

Liquid Types For Haskell

Huge list of videos, talks, courses for Haskell programming language.

A streaming data library

Comparing many FRP implementations by reimplementing the same toy app in each.

Compositional pipelines

Refinement types with static checking

A project that demonstrates getting up and running with Haskell.

Let's program! Get into programming writing a simple game.

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

coveralls.io support for haskell code coverage with hpc

Refined types

A Conflict-Free Replicated JSON Datatype for Haskell

Trivial routines for inspecting git repositories