Similar repositories to bch29/agda-holes:

• bch29/agda-holes github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• jespercockx/telescopic github similar
• Saizan/parametric-demo github similar
• gallais/type-scope-semantics github similar
• Toxaris/pts github similar
• nad/dependent-lenses github similar
• reinh/hs-lindenmayer github similar
• meilisearch/MeiliSearch github similar
• mr-ohman/logrel-mltt github similar
• L-TChen/ModalTypeTheory github similar
• effectfully/Generic github similar
• Toxaris/lift.pts github similar
• jmchapman/Big-step-Normalisation github similar
• conal/agda-cat-linear github similar
• hazelgrove/agda-popl17 github similar
• andreasabel/strong-normalization github similar
• andreasabel/helf github similar
• ayberkt/rafine github similar
• andreasabel/Sit github similar
• UlfNorell/agda-bench github similar
• guillaumebrunerie/initiality github similar
• mietek/hilbert-gentzen github similar
• L-TChen/MtacAR github similar
• epfl-lara/SystemFR github similar
• RobertHarper/hott-notes github similar
• scmu/foundations-harper github similar
• scmu/mrm github similar
• pigworker/LibAgda github similar
• agda/ooAgda github similar
• AndrasKovacs/stlc-nbe github similar
• pigworker/Ohrid-Agda github similar
• msp-strath/platypus github similar
• pigworker/SSGEP-DataData github similar
• andreasabel/ipl github similar
• AndrasKovacs/qiit-generalizations github similar
• effectfully/Eff github similar
• nilcons/hflags github similar
• andreasabel/universal-algebra github similar