Similar repositories to cstolze/Bull:

• cstolze/Bull github similar
• larrytheliquid/pigit github similar
• larrytheliquid/uAgda github similar
• larrytheliquid/generic-elim github similar
• jmchapman/Big-step-Normalisation github similar
• JohnReppy/compiling-pattern-guards github similar
• edwinb/Ivor github similar
• toothbrush/reflection-proofs github similar
• gfngfn/toy-macro-ml github similar
• stonebuddha/eopl github similar
• boyland/sasylf github similar
• wenkokke/AutoInAgda github similar
• steshaw/lennart-lambda github similar
• banacorn/agda-mode github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• jyp/nano-Agda github similar
• zehaochen19/vanilla-lang github similar
• standardml/twelf github similar
• racket/redex github similar
• HoTT/EPIT-2020 github similar
• gallais/agdarsec github similar
• tonyg/syndicate github similar
• idris-hackers/atom-language-idris github similar
• ilya-klyuchnikov/lambdapi github similar
• chriskempson/base16 github similar
• pigworker/MetaprogAgda github similar
• ProofSystem/Encyclopedia github similar
• SMLFamily/The-Definition-of-Standard-ML-Revised github similar
• ilya-klyuchnikov/ttlite github similar
• adamgundry/type-inference github similar
• paulstansifer/unseemly github similar
• Beluga-lang/Beluga github similar
• mthom/shentong github similar
• astampoulis/makam github similar
• SMLFamily/Successor-ML github similar
• lukaszcz/coqhammer github similar
• Andromedans/andromeda github similar
• lenary/idris-erlang github similar
• RedPRL/cooltt github similar
• ermine-language/ermine github similar