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

Agda is a dependently typed programming language / interactive theorem prover.

The engine for haskell ide-integration. Not an IDE

The official formatter for Nix code

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

A notification daemon/center for linux

Command line client for Nix binary cache hosting:

Write Emacs extensions in Haskell

Linter for the Nix expression language