GitHub repos by CakeML

1 public repo by CakeML in the catalog, most starred first.