nfrisby

coxswain

A GHC type checker plugin for row types

tcplugins-zurihac2020

ZuriHac 2020 GHC typechecker plugins project

invariant-functors

the 'invariant' Haskell package for invariant functors

thunk-spy

telemetry for thunks in GHC

ruin

Pliable records in GHC 8

th-gd

template-haskell meets generic-deriving

th-extra

Extra functionality for the template-haskell library

yoko

generic programming with disbanded data types

brisk-rows

A practical and inflexible implementation of row types

frisby-global-tags-cabal-ghc

My personal Haskell tagging solution

polyvariadic-generic-deriving

Haskell generic programming library like GHC.Generics but with support for any number of * parameters

th-sccs

Binding group analysis in Template Haskell

gadtda

Extending the SYB:Data class to directly support static selectivity via GADTs

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

help-from-ndm

Neil is helping me inspect an odd case where SYB is currently outperforming Uniplate.

matts-game

advent-of-code-2023

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

fphc-git-vs-extra

testing a possible FPHC bug

frags

Plugin gonna getcha, row types

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

haskell-ann

Haskell library for nformative annotations which don't change equality

nfrisby.github.io

a website

nfrisby.github.io-old

nomo

profiteur

Visualiser for Haskell (GHC) prof files

qvec-type

systemf

An experimental System F EDSL.

zfoh.ch

Our homepage