Similar repositories to jonsterling/agda-abt:

• jonsterling/agda-abt github similar
• jonsterling/sml-spreads github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-pronominal-ml github similar
• kwf/Presburger github similar
• ayberkt/tinyrw github similar
• cocreature/pfpl-redex github similar
• pixijs/pixi.js github similar
• jonsterling/sml-kripke-schema github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• steshaw/hsChess github similar
• jonsterling/purescript-abt github similar
• jonsterling/sml-abt github similar
• jonsterling/twelf-itt github similar
• jozefg/regex github similar
• cacay/language-krill github similar
• ehildenb/homod github similar
• trifunovski/Resolution-Theorem-Prover github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar
• noamz/linlam-gos github similar
• lucaspena/coinduction github similar
• mrkgnao/utt github similar
• ivan-m/transmogrify github similar
• ayberkt/sml-colors github similar
• jozefg/concurrent-stack-with-helping github similar
• rodrigogribeiro/generic github similar
• MathiasVP/Alpha github similar
• larrytheliquid/mltt-lecture github similar
• jozefg/fibrational-semantics github similar
• dlicata335/cubicalexperiments github similar
• Happy-Ferret/lambda-battle github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• fsestini/nbe-weak-stlc github similar
• jyp/sctt github similar
• maxsnew/grammars-and-semantic-actions github similar
• joom/modal github similar
• pruvisto/TRS github similar