Similar repositories to pigworker/MetaprogAgda:

• pigworker/MetaprogAgda github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• ilya-klyuchnikov/ttlite github similar
• pigworker/CS410-14 github similar
• sstucki/system-f-agda github similar
• jonsterling/JonPRL github similar
• slindley/effect-handlers github similar
• jozefg/miniprl github similar
• jstolarek/why-dependent-types-matter github similar
• scmu/foundations-harper github similar
• yallop/popl2015-papers github similar
• pigworker/CS410-13 github similar
• type-theory/type-theory-study-group github similar
• msp-strath/ZEUG github similar
• standardml/twelf github similar
• bobatkey/sott github similar
• Saizan/cubical-demo github similar
• mr-ohman/logrel-mltt github similar
• metaocaml/metaocaml-bibliography github similar
• jyp/nano-Agda github similar
• david-christiansen/epigram1 github similar
• toothbrush/reflection-proofs github similar
• UlfNorell/agda-summer-school github similar
• dlicata335/hott-agda github similar
• gasche/popl2018-papers github similar
• simhu/cubical github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• andreasabel/miniagda github similar
• ilya-klyuchnikov/lambdapi github similar
• david-christiansen/idris-interaction.rkt github similar
• SMLFamily/SML-The-Living-Language github similar
• yallop/icfp2014-papers github similar
• gasche/icfp2013-papers github similar
• pigworker/Totality github similar
• mortberg/yacctt github similar
• gallais/typing-with-leftovers github similar
• JacquesCarette/finally-tagless github similar