Similar repositories to dlicata335/hott-agda:

• dlicata335/hott-agda github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• pcapriotti/agda-base github similar
• valis/hoq github similar
• UlfNorell/agda-summer-school github similar
• favonia/homotopy github similar
• crypto-agda/crypto-agda github similar
• jozefg/miniprl github similar
• Saizan/miller github similar
• mortberg/yacctt github similar
• simhu/cubical github similar
• HoTT/HoTT-Agda github similar
• scmu/foundations-harper github similar
• sstucki/system-f-agda github similar
• gebner/hott3 github similar
• CHTT-s18/lecture-notes github similar
• pigworker/CS410-13 github similar
• byorgey/thesis github similar
• jonsterling/JonPRL github similar
• dorchard/effects-as-sessions github similar
• nmvdw/Three-HITs github similar
• b-mehta/topos github similar
• groupoid/anders github similar
• bobatkey/sorting-types github similar
• gallais/aGdaREP github similar
• msp-strath/ZEUG github similar
• sweirich/trellys github similar
• pigworker/MetaprogAgda github similar
• flypitch/flypitch github similar
• dlicata335/cart-cube github similar
• Saizan/cubical-demo github similar
• spire/spire github similar
• effectfully/OTT github similar
• copumpkin/categories github similar
• jmchapman/Relative-Monads github similar
• pigworker/CS410-14 github similar
• agda/agda-frp-ltl github similar
• wenkokke/AutoInAgda github similar