Similar repositories to patrikja/PolyP:

• patrikja/PolyP github similar
• JonasDuregard/sized-functors github similar
• JonasDuregard/testing-feat github similar
• QuentinDuval/IdrisReducers github similar
• danr/hipspec github similar
• gasche/icfp2016-papers github similar
• nomeata/ghc-proofs github similar
• NICTA/cogent github similar
• conal/talk-2018-essence-of-ad github similar
• simonmar/par-tutorial github similar
• pigworker/CS410-17 github similar
• idris-hackers/idris-mode github similar
• haskell-tools/haskell-tools github similar
• marmelab/sedy github similar
• ollef/Earley github similar
• theam/haskell-do github similar
• benl23x5/gloss github similar
• cloe-lang/cloe github similar
• conal/concat github similar
• neithernut/git-dit github similar
• JakeWheat/intro_to_parsing github similar
• jwbuurlage/category-theory-programmers github similar
• BNFC/bnfc github similar
• alexmingoia/purescript-pux github similar
• ChrisPenner/rasa github similar
• paulgb/BarbBlock github similar
• transient-haskell/transient github similar
• kowainik/summoner github similar
• dpc/rdedup github similar
• obsidiansystems/obelisk github similar
• kirel/detexify-hs-backend github similar
• Luminarys/synapse github similar
• commercialhaskell/rio github similar
• dhall-lang/dhall-haskell github similar
• egison/egison github similar
• haskell/stylish-haskell github similar
• tomhrr/dale github similar
• chrisdone/intero github similar
• dfm/osrc github similar
• ndmitchell/ghcid github similar