gravatar for UniMath

UniMath UniMath on Github

global

Languages

4 total

LanguageReposStarsGlobal
all191,95325,841
Coq101,3535
HTML43672,799
Agda120612
unknown42764,329

Repos

19 total

RepoLanguageStarsRank
UniMath/UniMath on GithubUniMathCoq9094
UniMath/SymmetryBook on GithubSymmetryBookHTML3632,891
UniMath/Foundations on GithubFoundationsCoq23521
UniMath/agda-unimath on Githubagda-unimathAgda20613
UniMath/TypeTheory on GithubTypeTheoryCoq11050
UniMath/Schools on GithubSchoolsCoq7079
UniMath/2006_03_Homotopy_lambda_calculus on Github2006_03_Homotopy_lambda_calculusunknown13124,819
UniMath/largecatmodules on GithublargecatmodulesCoq11440
UniMath/SetHITs on GithubSetHITsCoq8555
UniMath/Universe_Polymorphic_Type_System on GithubUniverse_Polymorphic_Type_Systemunknown7206,568

Badges

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

Global

Global

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

Preview

Last updated: 2024-04-22T18:52:42.194604166Z Re-sync