GitHub repos by tock

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