GitHub repos by peti

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