Similar repositories to reinerp/first-class-patterns:
reinerp/first-class-patterns
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
reinerp/applicative-quoters
github
similar
mirah/type-debugger
github
similar
ekmett/unboxed-containers
github
similar
jabolopes/bessel
github
similar
bmillwood/applicative-quoters
github
similar
reinerp/hmatrix-syntax
github
similar
RobertHarper/hott-notes
github
similar
UnkindPartition/data-lens-light
github
similar
jozefg/cooked-pi
github
similar
ericfinster/opetopes-in-agda
github
similar
diogob/pasta
github
similar
luqui/infinite-search
github
similar
andrisaar/Type-Theory-Foundations
github
similar
avieth/type-function
github
similar
ezyang/backpack-regex-example
github
similar
ezyang/ghc-usage
github
similar
phile314/tasty-silver
github
similar
pepeiborra/ghc-check
github
similar
sjoerdvisscher/algebraic-classes
github
similar
ttuegel/loops
github
similar
copumpkin/shaped
github
similar
well-typed/basic-sop
github
similar
avieth/type-lambda
github
similar
rohitjha/DiMPL
github
similar
kmarekspartz/TaPL
github
similar
TiarkRompf/graal-playground
github
similar
reinerp/haskell-AppleScript
github
similar
sjoerdvisscher/unfoldable
github
similar
notogawa/graceful
github
similar
rhyskeepence/trigger
github
similar
adinapoli/ekg-prometheus-adapter
github
similar
simonmar/ghc-paths
github
similar
reinerp/indexed-extras
github
similar
ezyang/deepseq-magic
github
similar
xmanu/scala-virtual-classes-annotation-macros
github
similar
audreyt/interpolatedstring-perl6
github
similar
jmchapman/Relative-Monads
github
similar