GitHub repos by dotemacs

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