gravatar for HoTT

HoTT HoTT on Github

global

Languages

5 total

LanguageReposStarsGlobal
all73,72112,866
TeX22,06459
Coq11,2075
Agda24255
CSS11518,656
unknown110135,032

Repos

7 total

RepoLanguageStarsRank
HoTT/book on GithubbookTeX1,96456
HoTT/Coq-HoTT on GithubCoq-HoTTCoq1,2073
HoTT/HoTT-Agda on GithubHoTT-AgdaAgda4014
HoTT/EPIT-2020 on GithubEPIT-2020TeX100985
HoTT/M-types on GithubM-typesAgda24104
HoTT/HoTT-2019 on GithubHoTT-2019CSS1517,830
HoTT/Archive on GithubArchiveunknown10146,935

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-28T21:46:05.238632870Z Re-sync