GITHUB ORGANIZATION
well-typed — GitHub organization
well-typed has 2.0k stars across their public GitHub repositories, ranking #6531 globally among GitHub organizations.
Top repositories
How many GitHub stars does well-typed have?
well-typed has 2.0k stars across their public repositories, ranking #6531 globally.
What is well-typed's most-starred repository?
Their most-starred public repository is optics, with 386 stars.
Is well-typed an individual or an organization?
This is a GitHub organization account.