GitHub repos by 7x11x13

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