GitHub repos by chzyer

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