GitHub repos by notch-up

1 public repo by notch-up in the catalog, most starred first.