GitHub repos by coral

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