22 Repositories
UniMath
1019
SymmetryBook
446
agda-unimath
312
Foundations
247
TypeTheory
122
Schools
94
2006_03_Homotopy_lambda_calculus
15
largecatmodules
12
book
11
Universe_Polymorphic_Type_System
10
SetHITs
9
old_notes_on_type_systems
7
GrpdHITs
7
Computability
6
unimath.github.io
3
lCsystems
3
lBsystems
3
opam-repository
3
UniMath-jsCoq
2
live
2
Contrib
1
ICMS2016UniMath.github.io
0