Similar repositories to jstolarek/why-dependent-types-matter:

• jstolarek/why-dependent-types-matter github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• ReactTraining/react-router github similar
• rodrigogribeiro/agda-software-foundations github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• crypto-agda/crypto-agda github similar
• scmu/foundations-harper github similar
• pigworker/CS410-14 github similar
• UlfNorell/agda-summer-school github similar
• spire/spire github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• pigworker/MetaprogAgda github similar
• Saizan/cubical-demo github similar
• puffnfresh/tryidris github similar
• gasche/popl2018-papers github similar
• david-christiansen/pudding-old github similar
• Ptival/PeaCoq github similar
• pigworker/CS410-15 github similar
• david-christiansen/idris-interaction.rkt github similar
• KesterTong/idris2048 github similar
• ilya-klyuchnikov/ttlite github similar
• ct-gradual-typing/Papers github similar
• yallop/popl2015-papers github similar
• ilya-klyuchnikov/lambdapi github similar
• SimonJF/IdrisNet2 github similar
• jyp/nano-Agda github similar
• cmeiklejohn/distributed-data-structures github similar
• wenkokke/msla2014 github similar
• m0ar/lollipop github similar
• shaunlebron/parinfer github similar
• williamdemeo/TypeFunc github similar
• gasche/popl2017-papers github similar
• nmvdw/Three-HITs github similar
• copumpkin/categories github similar
• edwinb/Protocols github similar
• edwinb/WS-idr github similar