GitHub repos by eggert

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