A backtracking logic programming monad.
A monadic implementation of multi-prompt delimited continuations.
Implementations of various algorithms for uvector
A port of uvector-algorithms to the vector package
A parser/type checker/evaluator for simple languages based on pure type systems.
A fork of sorts of pts. The constants and axioms can no longer be swaped out, so it is a particular language, rather than a template for many languages. Instead, upts is an experiment in implementing a type system with universe polymorphism.
Efficient construction of readable byte strings from values
A simple parser that will suggest indentations for laying out Haskell source
A bit of play with CPSed implementations of monads from the Monad Transformer Library, along with some minor improvements on the interface.
A variety of short programs in haskell done for my own investigation/amusement.
Random one-off experiments and such in which someone might have interest