sheaf

acts. Haskell library for semigroup actions and torsors

if-instance. GHC plugin to branch on whether a constraint is satisfied

groovy-lambda. VS Code color theme optimised for Haskell, based on Gruvbox Material.

ghc-tcplugin-api. An interface for GHC type-checking plugins

gtk-layers. Demonstration of GTK4 TreeListView with drag-and-drop

ghc-renamer. Slides for my talk at the GHC contributors' workshop (2023)

zero-to-quake-3. Implementing Quake 3 in Haskell & Vulkan

Polynomial-roots. Haskell program to produce images of polynomial roots (and corresponding iterated function systems)

groups-generic. Derive Group instances using generics (Haskell library)

lilypond-jazz. Some templates for lead sheets in Lilypond

sams-plugin. A proof of concept typechecking plugin that generates instances for optics

john-rules. John's fine-grained build rules

many-args. Test repository for GHC worker wrapper optimisation

large-anon. Scalable anonymous records

ghc-constraint-solver. Slides for my talk at Haskell eXchange 2021

typelits-witnesses. Existential witnesses, singletons, and classes for operations on GHC TypeLits

generic-labels. Labelled arguments with optional parameters in Haskell, using generic-lens