Similar repositories to mcopes73/standardization-agda:

• mcopes73/standardization-agda github similar
• ReactTraining/react-router github similar
• roc-lang/roc github similar
• andreasabel/type-preserving-cps github similar
• tel/intone github similar
• mcopes73/FTA github similar
• andreasabel/sized-types github similar
• ernius/formalmetatheory-nominal github similar
• dawn-lang/umcc github similar
• hansbugge/cubicaltt github similar
• fsestini/nbe-weak-stlc github similar
• AHartNtkn/Dependent-Binary-Lambda-Calculus github similar
• kofno/purescript-aws-lambda github similar
• AndrasKovacs/SemanticsWithApplications github similar
• yveszhang/ldtyping github similar
• ayberkt/sml-system-t github similar
• volodeyka/trust-coq github similar
• clayrat/idris-linear github similar
• bobatkey/algebraically-indexed-types github similar
• webyrd/declarative-semantics github similar
• ucsd-progsys/liquid-types-spacemacs github similar
• gallais/agdarky github similar
• gergoerdi/universe-of-syntax github similar
• dawn-lang/ucc github similar
• Beluga-lang/Meta github similar
• effectfully/random-stuff github similar
• L-TChen/ModalTypeTheory github similar
• quchen/amoeba github similar
• ZongzheYuan/HaltingProblem github similar
• andreasabel/ipl github similar
• divipp/frp_agda github similar
• coq/bot github similar
• timonoko/nokolisp github similar
• pigworker/Totality github similar
• hlopko/architecture_of_symbolic_computers_notes github similar
• andreasabel/helf github similar
• bitonic/tog github similar
• gallais/typing-with-leftovers github similar
• effectfully/STLC github similar
• dorchard/effects-as-sessions github similar