GitHub repos by auxiliary

2 public repos by auxiliary in the catalog, most starred first.