Similar repositories to larrytheliquid/pigit:

• larrytheliquid/pigit github similar
• cstolze/Bull github similar
• larrytheliquid/uAgda github similar
• sebastiaanvisser/msc-thesis github similar
• jyp/topics github similar
• glutamate/bugpan github similar
• darius/logsim github similar
• darius/consp github similar
• larrytheliquid/generic-elim github similar
• gertvv/oops github similar
• jmchapman/Big-step-Normalisation github similar
• tonyarnold/virtuedesktops github similar
• Toxaris/pts github similar
• edwinb/Ivor github similar
• toothbrush/reflection-proofs github similar
• gfngfn/toy-macro-ml github similar
• batterseapower/ansi-wl-pprint github similar
• wenkokke/AutoInAgda github similar
• steshaw/lennart-lambda github similar
• glguy/utf8-string github similar
• banacorn/agda-mode github similar
• leto/asmutils github similar
• jyp/nano-Agda github similar
• zehaochen19/vanilla-lang github similar
• racket/redex github similar
• batterseapower/test-framework github similar
• ntoronto/drbayes github similar
• gallais/agdarsec github similar
• msakai/cpl github similar
• ekmett/reflection github similar
• idris-hackers/atom-language-idris github similar
• ilya-klyuchnikov/lambdapi github similar
• pigworker/MetaprogAgda github similar
• ilya-klyuchnikov/ttlite github similar
• adamgundry/type-inference github similar
• gasche/popl2016-papers github similar
• miniboxing/miniboxing-plugin github similar
• yallop/icfp2014-papers github similar
• derekelkins/agda-vim github similar
• paulstansifer/unseemly github similar