# GitHub repos by CakeML [Home](https://repo.masters-masters.com/en) › [CakeML](https://repo.masters-masters.com/en/owners/CakeML) The public GitHub repo by CakeML in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by CakeML 1 public repo by CakeML in the catalog, most starred first. - [CakeML/cakeml · ★ 1,220 · Standard ML · Beta](https://repo.masters-masters.com/en/repos/CakeML/cakeml) ## See CakeML on GitHub - [https://github.com/CakeML](https://github.com/CakeML) --- Data: GitHub