GitHub repos by edef1c

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