Similar repositories to rodrigogribeiro/mptc:

• rodrigogribeiro/mptc github similar
• sulzmann/Chameleon github similar
• liamoc/outside-in github similar
• atzedijkstra/chr github similar
• emilaxelsson/imperative-edsl github similar
• Jaak/TinyOutsideIn github similar
• vlopezj/coq-course github similar
• pigworker/CS410-15 github similar
• dmwit/pulp github similar
• yav/type-nat-solver github similar
• edwinb/EpiVM github similar
• DeepSpec/dsss17 github similar
• racket/redex github similar
• MaiaVictor/calculus-of-constructions github similar
• jozefg/pcf github similar
• ptol/oczor github similar
• adamgundry/type-inference github similar
• nuprl/hopl-s2017 github similar
• discus-lang/iron github similar
• ajhc/ajhc github similar
• gasche/icfp2017-papers github similar
• namin/dot github similar
• jozefg/higher-order-unification github similar
• koka-lang/libhandler github similar
• ekmett/hask github similar
• w7cook/AoPL github similar
• Lemmih/lhc github similar
• goldfirere/thesis github similar
• sampsyo/bril github similar
• ermine-language/ermine github similar
• williamdemeo/TypeFunc github similar
• uhub/awesome-coq github similar
• beerendlauwers/haskell-papers-ereader github similar
• Andromedans/andromeda github similar
• stedolan/malfunction github similar
• liamoc/learn-you-an-agda github similar
• koka-lang/madoko github similar
• AndrasKovacs/elaboration-zoo github similar
• JuliaMath/openlibm github similar
• sweirich/pi-forall github similar