GitHub repos by erlage

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