Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
MIT License
A modern syntax for the λ-calculus.
Template Your Boilerplate
Tasty test runners for checking common laws
What if we built the same frustrating type checker over and over again? For science.
A more flexible mtl
Extensions for tuples of Haskell
An implementation of "Freer Monads, More Extensible Effects".
parser and prettyprinter for TPDB syntax (termination problem data base)
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Product profunctors and tools for working with them
experimenting with unlifted classes via backpack
Combinators for manipulating locally-nameless generalized de Bruijn terms
Coordinate-free hypersurfaces as Haskell types