GitHub repos by logsem

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