Similar repositories to mpickering/icfp2015-papers:

• mpickering/icfp2015-papers github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• Eloston/ungoogled-chromium github similar
• precog/quasar github similar
• gasche/popl2016-papers github similar
• gasche/icfp2013-papers github similar
• yallop/popl2015-papers github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• gasche/popl2014-papers github similar
• gasche/popl2017-papers github similar
• yallop/icfp2014-papers github similar
• technogeeky/icfp12-paper-links github similar
• gasche/icfp2016-papers github similar
• gmalecha/coq-ltac-iter github similar
• chriskempson/base16 github similar
• amnh/phylocaml github similar
• mietek/total-fp github similar
• jamii/texsearch github similar
• yallop/pldi2014-papers github similar
• ekmett/homotopy github similar
• edx/edx-platform github similar
• tuvtran/project-based-learning github similar
• ocamllabs/icfp2016-blog github similar
• ocamllabs/ocaml-internals github similar
• BruceWestbury/Circle-Packing github similar
• 23Skidoo/popl13-papers-links github similar
• gmalecha/bedrock-mirror-shard github similar
• pigworker/Totality github similar
• sishtiaq/compose-z3-tutorial github similar
• Sophia-Gold/AD-Talk github similar
• RobertHarper/hott-materials github similar
• rleshchinskiy/vector github similar
• takenobu-hs/lazy_evaluation github similar
• gmalecha/mirror-shard github similar
• tanakh/hoe github similar