GitHub repos by TimDettmers

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