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