GitHub repos by mir-evaluation

1 public repo by mir-evaluation in the catalog, most starred first.