Similar repositories to agda/agda-spec:

• agda/agda-spec github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• pigworker/Ming github similar
• rossberg/mixml github similar
• tuvtran/project-based-learning github similar
• jespercockx/ataca github similar
• AndrasKovacs/preordertt github similar
• robsimmons/abbot github similar
• AndrasKovacs/qiit-generalizations github similar
• andreasabel/helf github similar
• RedPRL/sml-typed-abts github similar
• andreasabel/strong-normalization github similar
• pigworker/EGTBS github similar
• laMudri/generic-lr github similar
• AndrasKovacs/universes github similar
• effectfully/Cubes github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• andreasabel/agda2lagda github similar
• mr-ohman/logrel-mltt github similar
• cangiuli/cmu-thesis-memoir github similar
• agda/ooAgda github similar
• ysharoda/Deriving-Definitions github similar
• effectfully/proto-tt github similar
• mikeshulman/dirtt github similar
• liamoc/dddp github similar
• sstucki/pts-agda github similar
• RobertHarper/hott-notes github similar
• jozefg/undergraduate-thesis github similar
• jespercockx/reflection-tutorial github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• plt-amy/agda-search github similar
• leo-colisson/zx-calculus github similar
• RobertHarper/pfpl-defns github similar
• groupoid/anders github similar
• nmvdw/Three-HITs github similar
• jmchapman/TT-in-TT github similar
• JoeyEremondi/lambda-pi-constraint github similar