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