GitHub repos by diffeo

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