Similar repositories to pcapriotti/agda-base:

• pcapriotti/agda-base github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• pcapriotti/agda-categories github similar
• superhaNds/cwfs github similar
• dorchard/effects-as-sessions github similar
• ericfinster/opetopes-in-agda github similar
• pigworker/SmolCat github similar
• plt-amy/cubical-methods github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• Saizan/miller github similar
• AndrasKovacs/system-f-omega github similar
• jmchapman/Relative-Monads github similar
• bobatkey/sorting-types github similar
• CMU-HoTT/serre-finiteness github similar
• jonsterling/agda-effectful-forcing github similar
• crypto-agda/crypto-agda github similar
• groupoid/anders github similar
• ericfinster/higher-alg github similar
• Saizan/cubical-demo github similar
• mikeshulman/dirtt github similar
• wenkokke/AutoInAgda github similar
• IanOrton/decomposing-univalence github similar
• twanvl/ttie github similar
• dlicata335/hott-agda github similar
• nmvdw/Three-HITs github similar
• andrisaar/Type-Theory-Foundations github similar
• effectfully/random-stuff github similar
• toothbrush/reflection-proofs github similar
• AndrasKovacs/preordertt github similar
• nachivpn/expelim github similar
• uds-psl/autosubst-ocaml github similar
• mr-ohman/logrel-mltt github similar
• jonsterling/coq-domains github similar
• laMudri/generic-lr github similar
• scmu/foundations-harper github similar
• tootsuite/mastodon github similar
• rapiz1/catp github similar