Similar repositories to scmu/aopa:

• scmu/aopa github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• L-TChen/MtacAR github similar
• scmu/foundations-harper github similar
• tootsuite/mastodon github similar
• L-TChen/ModalTypeTheory github similar
• alhassy/gentle-intro-to-reflection github similar
• gallais/agdarsec github similar
• gallais/thesis github similar
• wenkokke/schmitty github similar
• gallais/pearl-binary-search github similar
• jespercockx/ataca github similar
• fredefox/cat github similar
• UlfNorell/agda-prelude github similar
• UlfNorell/quasi-quote github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• lambdabetaeta/modal-logics github similar
• gallais/parseque github similar
• bellissimogiorno/nominal github similar
• andreasabel/ipl github similar
• philzook58/lens-algebra github similar
• wenkokke/AutoInAgda github similar
• meilisearch/MeiliSearch github similar
• bobatkey/system-f-parametricity-model github similar
• ayberkt/simplc github similar
• pigworker/Totality github similar
• conal/agda-cat-linear github similar
• cedille/cedille-developments github similar
• gallais/typing-with-leftovers github similar
• jespercockx/popl19-tutorial github similar
• Lysxia/coq-simple-io github similar
• gallais/generic-syntax github similar
• effectfully/OTT github similar
• AndrasKovacs/polynomial-model github similar
• andreasabel/miniagda github similar
• laMudri/generic-lr github similar
• cedille/ial github similar