Similar repositories to hazelgrove/agda-popl17:

• hazelgrove/agda-popl17 github similar
• MathiasVP/Alpha github similar
• gergoerdi/syntactic-stlc github similar
• pigworker/Ohrid-Agda github similar
• taktoa/math-notes github similar
• ssomayyajula/elab github similar
• jonsterling/agda-abt github similar
• fsestini/nbe-weak-stlc github similar
• hzafar/pcf-interpreter github similar
• wjzz/Agda-small-developments-and-examples github similar
• ernius/mergesort github similar
• gallais/agdARGS github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• jozefg/concurrent-stack-with-helping github similar
• cmcl/triangulating-context-lemmas github similar
• larrytheliquid/mltt-lecture github similar
• AndrasKovacs/ind-ind-types github similar
• ayberkt/sml-colors github similar
• aelve/notes github similar
• ayberkt/tinyrw github similar
• rodrigogribeiro/generic github similar
• parsonsmatt/packedbits github similar
• brownplt/lambdajs-coq github similar
• coq-contribs/finger-tree github similar
• LightAndLight/certified-lc github similar
• ezyang/groom github similar
• kwf/Presburger github similar
• pigworker/LibAgda github similar
• RedPRL/sml-cats github similar
• yannham/visual-goi github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• hazelgrove/hazelnut-popl17 github similar
• ToTal/total github similar
• danelahman/Directed-Containers github similar
• hbasold/CoindDepTypes github similar
• hawnzug/dependent github similar
• tomjaguarpaw/H2 github similar
• shaunlebron/parinfer github similar
• scott-fleischman/exercises-vfpa github similar