Similar repositories to gasche/popl2017-papers:

• gasche/popl2017-papers github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• gasche/popl2018-papers github similar
• tootsuite/mastodon github similar
• gasche/icfp2017-papers github similar
• RobertHarper/hott-notes github similar
• gasche/icfp2016-papers github similar
• gasche/popl2016-papers github similar
• shaunlebron/parinfer github similar
• TheoWinterhalter/formal-type-theory github similar
• yallop/popl2015-papers github similar
• aquynh/capstone github similar
• ReactTraining/react-router github similar
• Eloston/ungoogled-chromium github similar
• gasche/icfp2013-papers github similar
• sweirich/corespec github similar
• metaocaml/metaocaml-bibliography github similar
• sweirich/tal github similar
• mpickering/icfp2015-papers github similar
• jstolarek/why-dependent-types-matter github similar
• discus-lang/iron github similar
• bobatkey/sott github similar
• david-christiansen/pudding-old github similar
• snowleopard/hadrian github similar
• pigworker/MetaprogAgda github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• jonleivent/mindless-coding github similar
• dschepler/coq-sequent-calculus github similar
• xnning/GHC-Core-Literature-Review github similar
• cmcl/frankjnr github similar
• pigworker/CS410-14 github similar
• mit-plv/fiat github similar
• pedagand/typechecker-evolution github similar
• slindley/effect-handlers github similar
• osa1/StrictCore github similar
• stedolan/idris-malfunction github similar
• AndrasKovacs/system-f-omega github similar
• uhub/awesome-coq github similar