GITHUB ORGANIZATION
HoTT — GitHub organization
HoTT has 4.2k stars across their public GitHub repositories, ranking #3795 globally among GitHub organizations.
Top repositories
How many GitHub stars does HoTT have?
HoTT has 4.2k stars across their public repositories, ranking #3795 globally.
What is HoTT's most-starred repository?
Their most-starred public repository is book, with 2.2k stars.
Is HoTT an individual or an organization?
This is a GitHub organization account.