Compatibility shim for GHC's small integer primitives
Statistics for this project are still being loaded, please check back later.
koneko - a concatenative not-quite-lisp for kittens
Interpreter
An implementation of "Freer Monads, More Extensible Effects".
Shorter binary words for Haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Opinionated Haskell Interoperability
A self-hosting mini Haskell compiler with a mini C runtime.
Miscellaneous articles. The readme is the table of contents.
Stick two binary words together to get a bigger one
Haskell library with extra operations on binary words
Convert Haskell source code to Coq source code.
Extensible records, variants, structs, effects, tangles