GitHub repos by eschnett

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