Impure symlinking in your nixos configuration

Usage indicator extension for pi with footer status bars and /usage command

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

Modern and extensible testing framework for Haskell

Diff GHC Core programs

Systematic concurrency testing meets Haskell.

CLI proxy that reduces LLM token usage by 60-90%. Declarative YAML filters for Claude Code, Cursor, Copilot, Gemini. rtk alternative in Go.

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

A tiling window manager for Wayland, written and configured in Haskell.

A wrapper around Text for fast line/column navigation and logarithmic concatenation

Cut LLM token spend in long Pi sessions, automatically. Dedup redundant tool calls, strip errored payloads, and let the model summarize closed work-streams — all without ever modifying your session…

Code for Keating and Gale, Haskell Symposium 2023

Configurable allow/deny permission rules for pi tool calls

Nix flake for earendil's pi, a terminal coding agent.

An Emacs client for Pi Coding Agent

Emacs frontend for the Pi coding agent

Generates a references DB from .hie files

Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

IETF QUIC library in Haskell

Type-safe numerical linear algebra backed by massiv arrays, implementing algorithms from Golub & Van Loan's Matrix Computations (4th ed.)

OpenCode client for Emacs

Editable mindmaps for org-mode.

GUI wallpaper manager for Wayland and Xorg Linux systems

ASIO to Pipewire. Better solution for low latency audio inside Wine. Works with SteamRT.

htop for your whole fleet — with nothing installed on the remote

ncdu-like TUI for exploring Nix store derivation sizes

A modern testing framework for Haskell with good defaults and advanced testing features.

Unit conversion