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