TopGit
GITHUB ORGANIZATION

UniMath — GitHub organization

UniMath has 2.3k stars across their public GitHub repositories, ranking #5873 globally among GitHub organizations.

Global rank#5873
Total stars2.3k
Public repositories22
View on GitHub ↗

Top repositories

UniMath★ 1.0kSymmetryBook★ 445agda-unimath★ 312Foundations★ 246TypeTheory★ 122Schools★ 942006_03_Homotopy_lambda_calculus★ 15largecatmodules★ 12book★ 11Universe_Polymorphic_Type_System★ 10

How many GitHub stars does UniMath have?

UniMath has 2.3k stars across their public repositories, ranking #5873 globally.

What is UniMath's most-starred repository?

Their most-starred public repository is UniMath, with 1.0k stars.

Is UniMath an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking