A fictional scenario implemented in multiple languages in order to compare language paradigms.

A fictional scenario implemented in multiple languages in order to compare language paradigms.

View GHC profile files as HTML

Haskell datatypes for generating SMTLIB files.

OpenSSL binding for Haskell

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

Minecraft protocol proxy

Haskell library for parsing ELF object files

An llvm pretty printer inspired by the haskell llvm binding

An llvm pretty printer inspired by the haskell llvm binding

An example of using type-level naturals for safe array manipulation.

The old hobbit compiler

Highligt Haskell source

Haskell Sprite Library

Haskell Sprite Library

Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems.

Haskell bindings to the clutter library

Haskell bindings to the clutter library

Haskell parser combinators derived from Parsec

Tools for working with derived Show instances in Haskell.

Haskell bindings to the ALSA libray

Decision procedures for Presburger arithmetic in Haskell

A Haskell library for generating new names without threading state.

A fully compliant Haskell 98 lexer.

A utility for displaying the module dependencies of Haskell programs.

A URL package for Haskell

Support for reading and writing UTF8 Strings in Haskell

A monad transformer library for Haskell

A Haskell datastructure for working with locations in trees or forests.