GitHub repos by amten

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