GitHub repos by etal

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