Pinned Repositories
brisk-rows
A practical and inflexible implementation of row types
coxswain
A GHC type checker plugin for row types
invariant-functors
the 'invariant' Haskell package for invariant functors
ruin
Pliable records in GHC 8
tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project
th-extra
Extra functionality for the template-haskell library
th-gd
template-haskell meets generic-deriving
thunk-spy
telemetry for thunks in GHC
yoko
generic programming with disbanded data types
nfrisby's Repositories
nfrisby/coxswain
A GHC type checker plugin for row types
nfrisby/tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project
nfrisby/invariant-functors
the 'invariant' Haskell package for invariant functors
nfrisby/thunk-spy
telemetry for thunks in GHC
nfrisby/ruin
Pliable records in GHC 8
nfrisby/th-gd
template-haskell meets generic-deriving
nfrisby/th-extra
Extra functionality for the template-haskell library
nfrisby/yoko
generic programming with disbanded data types
nfrisby/brisk-rows
A practical and inflexible implementation of row types
nfrisby/frisby-global-tags-cabal-ghc
My personal Haskell tagging solution
nfrisby/polyvariadic-generic-deriving
Haskell generic programming library like GHC.Generics but with support for any number of * parameters
nfrisby/th-sccs
Binding group analysis in Template Haskell
nfrisby/gadtda
Extending the SYB:Data class to directly support static selectivity via GADTs
nfrisby/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
nfrisby/help-from-ndm
Neil is helping me inspect an odd case where SYB is currently outperforming Uniplate.
nfrisby/matts-game
nfrisby/advent-of-code-2023
nfrisby/cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
nfrisby/fphc-git-vs-extra
testing a possible FPHC bug
nfrisby/frags
Plugin gonna getcha, row types
nfrisby/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).
nfrisby/haskell-ann
Haskell library for nformative annotations which don't change equality
nfrisby/haskell-base32768
qntm's base32768 in Haskell
nfrisby/nfrisby.github.io
a website
nfrisby/nfrisby.github.io-old
nfrisby/nomo
nfrisby/profiteur
Visualiser for Haskell (GHC) prof files
nfrisby/qvec-type
nfrisby/systemf
An experimental System F EDSL.
nfrisby/zfoh.ch
Our homepage