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