GitHub repos by girder

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