GITHUB ORGANIZATION
ionide — GitHub organization
ionide has 3.0k stars across their public GitHub repositories, ranking #4863 globally among GitHub organizations.
Top repositories
How many GitHub stars does ionide have?
ionide has 3.0k stars across their public repositories, ranking #4863 globally.
What is ionide's most-starred repository?
Their most-starred public repository is ionide-vscode-fsharp, with 896 stars.
Is ionide an individual or an organization?
This is a GitHub organization account.