TopGit
GITHUB ORGANIZATION

math-comp — GitHub organization

math-comp has 1.5k stars across their public GitHub repositories, ranking #7857 globally among GitHub organizations.

Global rank#7857
Total stars1.5k
Public repositories27
View on GitHub ↗

Top repositories

math-comp★ 694analysis★ 247mcb★ 154hierarchy-builder★ 105finmap★ 51algebra-tactics★ 39Coq-Combi★ 38odd-order★ 37mczify★ 30Abel★ 30

How many GitHub stars does math-comp have?

math-comp has 1.5k stars across their public repositories, ranking #7857 globally.

What is math-comp's most-starred repository?

Their most-starred public repository is math-comp, with 694 stars.

Is math-comp an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking