GitHub repos by symbolset

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