GitHub repos by nexpid

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