GitHub repos by lever

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