Similar repositories to ericfinster/higher-alg:
ericfinster/higher-alg
github
similar
ericfinster/catt.io
github
similar
gibiansky/IHaskell
github
similar
jonsterling/lecture-notes
github
similar
danistefanovic/build-your-own-x
github
similar
RobertHarper/hott-notes
github
similar
maxsnew/virtual-equipments
github
similar
ericfinster/opetopes-in-agda
github
similar
AndrasKovacs/preordertt
github
similar
uelis/contextual
github
similar
guillaumebrunerie/SmashProduct
github
similar
ericfinster/opetopic-types
github
similar
TOTBWF/cubical-categories
github
similar
superhaNds/cwfs
github
similar
mikeshulman/dirtt
github
similar
IanOrton/decomposing-univalence
github
similar
jashug/ConstructingII
github
similar
silvanshade/agda-nr-cats
github
similar
xuanruiqi/algebraic-geometry
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
nmvdw/Three-HITs
github
similar
jmchapman/TT-in-TT
github
similar
andrisaar/Type-Theory-Foundations
github
similar
nachivpn/expelim
github
similar
jcreedcmu/lambda-maps
github
similar
DavidJaz/Cohesion
github
similar
inanna-malick/hgit
github
similar
groupoid/infinity
github
similar
m-yac/tt-in-cagda
github
similar
jonsterling/coq-domains
github
similar
pcapriotti/agda-base
github
similar
ericfinster/catt
github
similar
konn/vscode-redtt-diagnostics
github
similar
AndrasKovacs/polynomial-model
github
similar
jmchapman/restriction-categories
github
similar
felixwellen/DCHoTT-Agda
github
similar
pcapriotti/agda-categories
github
similar
agda/ooAgda
github
similar