GITHUB ORGANIZATION
idris-lang — GitHub organization
idris-lang has 6.5k stars across their public GitHub repositories, ranking #2667 globally among GitHub organizations.
Top repositories
How many GitHub stars does idris-lang have?
idris-lang has 6.5k stars across their public repositories, ranking #2667 globally.
What is idris-lang's most-starred repository?
Their most-starred public repository is Idris-dev, with 3.5k stars.
Is idris-lang an individual or an organization?
This is a GitHub organization account.