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