GitHub repos by sweepline

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