mixphix

deep-map

Deeply nested, multiple key-type maps.

hott-thesis

Homotopy Type Theory as an Alternative Foundation to Mathematics

interval-patterns

Intervals of ordered types, and their monoids under union.

haskell-yesod-quasiquotes

smtp-hs

A self-contained library for working with MIME and sending emails in Haskell.

algebraic-actions

Concrete implementations of groups acting as modules over other types.

control-block

either-semigroup

Either with a stricter Semigroup instance

haskell-sql-quasiquotes

hott

Implementation of (the typing rules for) homotopy type theory

language-haskell

Highlighting support for the Haskell language in visual studio code.

list1

Lists that are not null.

text-replace

Perform simple replacements in a text file, using a list of search/replace pairs

vscode-language-yesod

Syntax highlighting for the Haskell Yesod web framework

png-average

Generate an image with the progressive average of each pixel, and output the final average pixel value.

prairie

First Class Record Fields in Haskell

shakespeare

Haml-like template files that are compile-time checked

yesod-form-shape

Type classes for working with HTML forms in Yesod