GitHub repos by end-of-game

1 public repo by end-of-game in the catalog, most starred first.