Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

Functional programming with fewer indirections

Dependent type checker using normalisation by evaluation

C bindings to Pandoc, a markup converter library written in Haskell.

The Daedalus data description language

An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.

Haskell parser for the djot light markup language

A library for information security in Haskell