Similar repositories to agda/ooAgda:

• agda/ooAgda github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• aquynh/capstone github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• juxt/crux github similar
• jonsterling/lecture-notes github similar
• meilisearch/MeiliSearch github similar
• k6io/k6 github similar
• m-yac/tt-in-cagda github similar
• mr-ohman/logrel-mltt github similar
• shaunlebron/parinfer github similar
• effectfully/Cubes github similar
• gallais/agdarky github similar
• AndrasKovacs/stlc-nbe github similar
• AndrasKovacs/preordertt github similar
• JasonGross/lob-paper github similar
• lambdabetaeta/modal-logics github similar
• jmchapman/restriction-categories github similar
• jonsterling/agda-effectful-forcing github similar
• AndrasKovacs/misc-stuff github similar
• ysharoda/Deriving-Definitions github similar
• RobertHarper/hott-notes github similar
• gallais/typing-with-leftovers github similar
• laMudri/generic-lr github similar
• jonsterling/coq-domains github similar
• gallais/agda-sizedIO github similar
• Saizan/parametric-demo github similar
• asajeffrey/finite-dtypes github similar
• StanzaOrg/lbstanza github similar
• jmchapman/Big-step-Normalisation github similar
• metaborg/linear.agda github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• groupoid/anders github similar
• danelahman/POPL18 github similar
• mikeshulman/dirtt github similar
• TOTBWF/agda-sgd github similar
• bobatkey/system-f-parametricity-model github similar