GitHub repos by kind2-mc

1 public repo by kind2-mc in the catalog, most starred first.