nfrisby Goto Github PK

advent-of-code-2023

brisk-rows

A practical and inflexible implementation of row types

cardano-ledger-specs

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

coxswain

A GHC type checker plugin for row types

fphc-git-vs-extra

testing a possible FPHC bug

frags

Plugin gonna getcha, row types

frisby-global-tags-cabal-ghc

My personal Haskell tagging solution

gadtda

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

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

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.

invariant-functors

the 'invariant' Haskell package for invariant functors

matts-game

nfrisby.github.io

a website

nfrisby.github.io-old

nomo

polyvariadic-generic-deriving

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

profiteur

Visualiser for Haskell (GHC) prof files

qvec-type

ruin

Pliable records in GHC 8

systemf

An experimental System F EDSL.

tcplugins-zurihac2020

ZuriHac 2020 GHC typechecker plugins project

th-extra

Extra functionality for the template-haskell library

th-gd

template-haskell meets generic-deriving

th-sccs

Binding group analysis in Template Haskell

thunk-spy

telemetry for thunks in GHC

yoko

generic programming with disbanded data types

zfoh.ch

Our homepage