Similar repositories to copumpkin/shaped:

• copumpkin/shaped github similar
• shaunlebron/parinfer github similar
• jeremytregunna/io github similar
• mikeizbicki/ConstraintKinds github similar
• LeifW/online-typechecker github similar
• snowleopard/graph-algebra github similar
• joeyadams/haskell-control-monad-loop github similar
• kframework/k-editor-support github similar
• ekmett/thrists github similar
• ezyang/cabal github similar
• CUTE-Lang/miniCUTE github similar
• openbrainsrc/postgresql-simple-sop github similar
• yav/simple-smt github similar
• ttuegel/loops github similar
• glguy/minecraft-proxy github similar
• conal/shaped-types github similar
• dreixel/instant-generics github similar
• conal/functor-combo github similar
• sjoerdvisscher/algebraic-classes github similar
• conal/circat github similar
• kosmikus/multirec github similar
• sdiehl/haskell-linenoise github similar
• glguy/tries github similar
• sjoerdvisscher/unfoldable github similar
• jaspervdj/firefly github similar
• sjoerdvisscher/fmlist github similar
• david-christiansen/idris-utils github similar
• GaloisInc/LIMA github similar
• MedeaMelana/Zwaluw github similar
• ibrahimsag/rw github similar
• edwinb/Eff-new github similar
• k0001/pipes-aeson github similar
• cfredric/NumberTheory github similar
• sdiehl/picologic github similar
• roconnor/data-lens github similar
• thoughtpolice/claap github similar
• goldfirere/units-defs github similar
• kosmikus/indexed github similar
• reinerp/first-class-patterns github similar
• msprotz/proof-search-monad github similar