Wrappers around emacs-module.h to write Emacs modules in Haskell
OTHER License
Convert Haskell source code to Coq source code.
An opinionated list of resources for learning Haskell
UI experiments for coda
A language experiment -- irc.freenode.net ##coda
higher-order, no-boilerplate monads
educational compiler for not (quite) toy languages
Opinionated Haskell Interoperability
An implementation of "Freer Monads, More Extensible Effects".
Emacs mode for Haskell
An LL parser for extracting information from Wiki text, particularly Wiktionary.