GitHub repos by topopt

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