A Dependently Typed Functional Programming Language

Cloud Haskell core libraries

A demo implementation of a simple dependently-typed language

Haskoin Core is a Bitcoin and Bitcoin Cash library

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

Write shell scripts with Conduit

Purely functional objects

A Typeable-free implementation of extensible effects

Arrow based stream transducer

Streaming data library built around first-class stream fusion for high efficiency