ShellCheck, a static analysis tool for shell scripts

Universal markup converter

Dockerfile linter, validate inline bash, written in Haskell

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

🍜 A tasty Haskell front-end framework

Functional programming with fewer indirections

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

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

Dependent type checker using normalisation by evaluation

Source material for Algebra-Driven Design

The theory of groups

Fast equality saturation in Haskell

Monad morphisms

Haskell library for parsing and evaluating typst

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.