Monadic Constraint Programming framework
OTHER License
Haskell 98 comonads
A Haskell monad transformer library for data validation
Tools for programming with ConstraintKinds in GHC
GHC plugins to constrain the haskell source
Attempt to port All About Monads to HaskellWiki
Composable probability monads in Haskell.
A monad, perhaps.
The Monad Transformer Library
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
experimenting with unlifted classes via backpack
A more flexible mtl
Lift control operations, like exception catching, through monad transformers
An implementation of "Freer Monads, More Extensible Effects".
free monads