GitHub repos by interchen

1 public repo by interchen in the catalog, most starred first.