Similar repositories to gasche/popl2018-papers:

• gasche/popl2018-papers github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• RobertHarper/hott-notes github similar
• gasche/popl2017-papers github similar
• shaunlebron/parinfer github similar
• pixijs/pixi.js github similar
• gasche/icfp2017-papers github similar
• TheoWinterhalter/formal-type-theory github similar
• aquynh/capstone github similar
• motemen/gore github similar
• tuvtran/project-based-learning github similar
• hecrj/iced github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• Eugeny/terminus github similar
• david-christiansen/epigram1 github similar
• andreasabel/miniagda github similar
• vishesh/racketscript github similar
• metaocaml/metaocaml-bibliography github similar
• sstucki/system-f-agda github similar
• UlfNorell/insane github similar
• haskellari/tree-diff github similar
• sweirich/tal github similar
• jstolarek/why-dependent-types-matter github similar
• jozefg/nbe-for-mltt github similar
• adamgundry/type-inference github similar
• coq-contribs/coq-in-coq github similar
• discus-lang/iron github similar
• julianhyde/morel github similar
• pietervdvn/ALGT2 github similar
• jonsterling/JonPRL github similar
• AndrasKovacs/system-f-omega github similar
• gasche/popl2016-papers github similar
• danburkert/prost github similar
• ReactTraining/react-router github similar
• yallop/popl2015-papers github similar
• gallais/generic-syntax github similar