GitHub repos by modernizing

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