Similar repositories to gallais/agdarsec:

• gallais/agdarsec github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• gallais/idris-tparsec github similar
• RobertHarper/hott-notes github similar
• wenkokke/schmitty github similar
• gallais/agda-sizedIO github similar
• sstucki/system-f-agda github similar
• metaborg/linear.agda github similar
• gallais/parseque github similar
• tootsuite/mastodon github similar
• algebraic-graphs/agda github similar
• scmu/foundations-harper github similar
• effectfully/OTT github similar
• UlfNorell/agda-prelude github similar
• scmu/aopa github similar
• tree-sitter/tree-sitter-agda github similar
• jespercockx/ataca github similar
• adamgundry/type-inference github similar
• AndrasKovacs/setoidtt github similar
• andreasabel/miniagda github similar
• msp-strath/TypOS github similar
• fredefox/cat github similar
• jonsterling/dreamtt github similar
• martinescardo/TypeTopology github similar
• gallais/potpourri github similar
• tuvtran/project-based-learning github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• robrix/path github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• gallais/generic-syntax github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• valis/hoq github similar
• gallais/typing-with-leftovers github similar
• bobatkey/agda-metric-reals github similar
• HoTT-Intro/Agda github similar
• mr-ohman/logrel-mltt github similar
• laMudri/generic-lr github similar
• AndrasKovacs/stlc-nbe github similar