Singletons and induction schemes for GHC TypeLits.
BSD-3-CLAUSE License
KMP implemented on haskell's built-in cons-cell-based lists.
Simple Haskell Minifier
luakit but in haskell
Poor man's typechecker in Template Haskell
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic ...
Type level 2's and 16's complement arithmetic (old)
Example application with Cloud Haskell.
A discord frontend for an interactive interpreter bot
Monad transformers in CPS
Presentations on Liquid Haskell, type theory, and more
Pure parser for rfc-8794
A type inhabited by finitely many values, indexed by type-level naturals.
A Minecraft server in Haskell.
Generate Purescript types from Haskell