nfrisby/tcplugins-zurihac2020 nfrisby/tcplugins-zurihac2020

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
    HTML
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nfrisby/tcplugins-zurihac2020
github

nfrisby

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

ZuriHac 2020 GHC typechecker plugins project

More Repositories

1

coxswain

A GHC type checker plugin for row types
Haskell
39
star
2

invariant-functors

the 'invariant' Haskell package for invariant functors
Haskell
15
star
3

thunk-spy

telemetry for thunks in GHC
Haskell
5
star
4

ruin

Pliable records in GHC 8
Haskell
4
star
5

th-gd

template-haskell meets generic-deriving
Haskell
4
star
6

th-extra

Extra functionality for the template-haskell library
Haskell
3
star
7

yoko

generic programming with disbanded data types
Haskell
3
star
8

polyvariadic-generic-deriving

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

th-sccs

Binding group analysis in Template Haskell
Haskell
2
star
10

brisk-rows

A practical and inflexible implementation of row types
Haskell
2
star
11

frisby-global-tags-cabal-ghc

My personal Haskell tagging solution
Haskell
2
star
12

help-from-ndm

Neil is helping me inspect an odd case where SYB is currently outperforming Uniplate.
Haskell
1
star
13

matts-game

Haskell
1
star
14

gadtda

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