GitHub repos by 9001

3 public repos by 9001 in the catalog, most starred first.