GitHub repos by paretech

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