The Evolution of a Typechecker

Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.

Test monadic programs using state machine based models

An axiom-free formalization of category theory in Coq for personal study and practical work

K Framework Tools 7.0

Cryptol: The Language of Cryptography

Pre-processor for .hsc files

High performance, concurrent functional programming abstractions

Virtual DOM in pure Idris

The Haskell-Scriptable Editor

Extendable IRC bot framework

Generative text from a recursive grammar.