GitHub repos by smartpde

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