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