Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
UniMath
Star
1967
Rank
4873
Go to GitHub
Fetched on 2024/05/01 17:46
21 Repositories
UniMath
912
SymmetryBook
363
Foundations
236
agda-unimath
206
TypeTheory
110
Schools
70
2006_03_Homotopy_lambda_calculus
13
largecatmodules
11
book
10
SetHITs
8
Universe_Polymorphic_Type_System
7
GrpdHITs
6
old_notes_on_type_systems
5
unimath.github.io
3
opam-repository
2
lCsystems
2
lBsystems
2
UniMath-jsCoq
1
live
0
ICMS2016UniMath.github.io
0
Contrib
0