Similar repositories to TravisWhitaker/data-compat:
TravisWhitaker/data-compat
github
similar
gibiansky/IHaskell
github
similar
NickHu/naperian-functors
github
similar
isovector/haskell-realtime-midi
github
similar
cmk/lawz
github
similar
isovector/hs-vexflow
github
similar
isovector/compiling-to-categories-redux
github
similar
love-haskell/coercible-utils
github
similar
philzook58/not-bad-ccc
github
similar
ucsd-progsys/liquid-sf
github
similar
phadej/kleene-type
github
similar
achirkin/constraints-deriving
github
similar
chrisdone/sandbox
github
similar
conal/calculating-compilers-agda
github
similar
TerrorJack/template-haskell-jailbreak
github
similar
sirlensalot/fadno
github
similar
mstksg/lens-typelevel
github
similar
themattchan/haskell-tiger
github
similar
Lysxia/quickcheck-higherorder
github
similar
philzook58/rel
github
similar
isovector/constraints-emerge
github
similar
conal/convolution-paper
github
similar
ucsd-progsys/lh-plugin-demo
github
similar
philzook58/lens-algebra
github
similar
kcsongor/register-machine-type
github
similar
k0001/exinst
github
similar
Lysxia/generic-data-surgery
github
similar
phadej/idioms-plugins
github
similar
LightAndLight/parametricity-proofs
github
similar
Lysxia/generic-recursion-schemes
github
similar
RyanGlScott/eliminators
github
similar
ceedubs/unison-nix
github
similar
adamConnerSax/knit-haskell
github
similar
i-am-tom/oops
github
similar
isovector/jazz
github
similar
sjoerdvisscher/one-liner
github
similar
alx741/graphite
github
similar
patrickt/effects-benchmarks
github
similar
unclechu/purescript-for-haskellers
github
similar
tweag/lagoon
github
similar