GitHub repos by sicmutils

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