GitHub repos by pdet

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