GitHub repos by idfp

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