GitHub repos by metaocaml

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