GitHub repos by jedp

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