Similar repositories to wjzz/Agda-small-developments-and-examples:

• wjzz/Agda-small-developments-and-examples github similar
• wjzz/Agda-theorem-library github similar
• brownplt/lambdajs-coq github similar
• MathiasVP/Alpha github similar
• coq-contribs/finger-tree github similar
• LightAndLight/certified-lc github similar
• ezyang/groom github similar
• kwf/Presburger github similar
• effectfully/Big-Step-Normalization github similar
• taktoa/mltt github similar
• jdublu10/STLC-to-SKI github similar
• guillaumebrunerie/HoTT-Agda github similar
• paf31/blog-source github similar
• pavenvivek/WFLP-18 github similar
• lassik/vlm github similar
• unya/ivory github similar
• jrraymond/ray-tracer github similar
• ayberkt/CFG-random github similar
• drobakowski/cloud-haskell-talk github similar
• Taneb/net github similar
• bamboo/idris-codegen-sexp github similar
• ayberkt/agda-brzozowski github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• GU-CLASP/ttr github similar
• macrotypefunctors/macrotypes-nonstx github similar
• andreasabel/continuous-normalization github similar
• effectfully/Beauty-and-the-Beast github similar
• wjzz/Agda-mode-improvements github similar
• MathiasVP/Z github similar
• gergoerdi/syntactic-stlc github similar
• copumpkin/rational github similar
• antscode/MacHub github similar
• marklemay/DependentlyTypedPython github similar
• taktoa/spim-compiler github similar
• MatthewStein/adrenalina github similar
• ssomayyajula/elab github similar
• taktoa/cs524-actor github similar
• jespercockx/ttac github similar
• AshleyYakeley/maths github similar