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