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