Universal markup converter

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Shell programming, Haskell style

Command-line benchmark tool

Functional programming with fewer indirections

Compositional pipelines

Terminal emulator configurable in Haskell.

A Haskell library for converting LaTeX math to MathML.

Parsing all context-free grammars using Earley's algorithm in Haskell.

Dependent type checker using normalisation by evaluation

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

pretty-printer for Haskell data types that have a Show instance

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

Auto-generate a command-line parser for your datatype

A Haskell implementation of the Shen programming language.

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

Easy, repeatable testing of CLI programs/commands

Pure Haskell commonmark parsing library, designed to be flexible and extensible

Build system

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Fast & easy command line tool for converting XML files to JSON

Compile Dhall expressions to Cabal files

The theory of groups

⚠️ tools for writing better type errors

type level sets

Type-safe error handling

Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)

Library of categories, with categorical constructions on them

Fast & extensible logging framework for Haskell!

Constraint-based generics