Poor man's typechecker in Template Haskell
BSD-3-CLAUSE License
A truly tiny monadic parsing library
Presentations on Liquid Haskell, type theory, and more
A Minecraft server in Haskell.
Pure parser for rfc-8794
LaTeX document builder for Haskell
Generate Purescript types from Haskell
A discord frontend for an interactive interpreter bot
KMP implemented on haskell's built-in cons-cell-based lists.
Example application with Cloud Haskell.
TDoc is a typed document builder with support for (X)HTML
Singletons and induction schemes for GHC TypeLits.
A type inhabited by finitely many values, indexed by type-level naturals.
[WIP] wrapper for running purescript compiler in browser
Simple Haskell Minifier
typing haskell in haskell