type classes and deriving via for encoding
BSD-3-CLAUSE License
Simple Haskell Minifier
implementation of the first order logic unification algorithm in Haskell
experiments with pext/pdep and codebruijn syntax
Pure parser for rfc-8794
Generate Purescript types from Haskell
Poor man's typechecker in Template Haskell
Informative error messages for common beginner misunderstandings with Haskell
Singletons and induction schemes for GHC TypeLits.
Alter datatypes at your leisure!
Repository to go along with a blog post
Plucky Runtime IO
Type level 2's and 16's complement arithmetic (old)
An exploration and implementation of the lambda calculus.
are you worried about space? ME TOO! SPACE IS VERY CONCERNING
An approach to diffing values and records.