dtypes

effects

An implementation of "Freer Monads, More Extensible Effects".

TYB

Template Your Boilerplate

unboxed

experimenting with unlifted classes via backpack

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

free-est

monad-classes

A more flexible mtl

cooked-pi

What if we built the same frustrating type checker over and over again? For science.

haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

tuple

Extensions for tuples of Haskell

manifolds

Coordinate-free hypersurfaces as Haskell types

product-profunctors

Product profunctors and tools for working with them

Caramel

A modern syntax for the λ-calculus.

tasty-laws

Tasty test runners for checking common laws