A statically typed lisp, without a GC, for real-time applications.

Functional programming with fewer indirections

Minimal implementations for dependent type checking and elaboration

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Experimental implementation of Cubical Type Theory

Anonymous records

The Parser Generator for Haskell

Efficient library for manipulating zip archives

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

A slightly different flavor of generic programming

Utility to generate routes for use with yesod-routes

A basic lexer + parser + pretty printer for Ioke *nothing to see here yet*