Similar repositories to txa/OmegaCats:

• txa/OmegaCats github similar
• aquynh/capstone github similar
• larrytheliquid/zero-cost-coercions github similar
• guillaumebrunerie/JamesConstruction github similar
• pigworker/InteriorDesign github similar
• andrisaar/Type-Theory-Foundations github similar
• xplat/agda-tactics github similar
• danelahman/Directed-Containers github similar
• andrejbauer/andromeda github similar
• palladin/idris-snippets github similar
• peterthiemann/definitional-session github similar
• MrChico/Reals-in-agda github similar
• benarmston/cabal-constraints github similar
• orca-lang/orca github similar
• jmchapman/restriction-categories github similar
• IanOrton/cubical-topos-experiments github similar
• pigworker/Gigs-Summer-2018 github similar
• L-TChen/FiniteSets github similar
• groupoid/agda github similar
• gallais/agda-nbe github similar
• jmchapman/Big-step-Normalisation github similar
• matijapretnar/proofs github similar
• jmchapman/Relative-Monads github similar
• finrod/System-T github similar
• well-typed/lens-sop github similar
• omelkonian/formal-utxo github similar
• ericfinster/opetopes-in-agda github similar
• jmchapman/TT-in-TT github similar
• mietek/imla2017 github similar
• zaklogician/linear-constructive github similar
• cmcl/franklyfrank github similar
• bobatkey/sorting-types github similar
• m-yac/tt-in-cagda github similar
• heades/System-F-Coq github similar
• agda/agda-web-semantic github similar
• mstone/soutei github similar
• effectfully/Cubes github similar
• msp-strath/platypus github similar
• JacquesCarette/pi-dual github similar
• RobertHarper/hott-notes github similar