GitHub repos by diffqc

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