GitHub repos by lift

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