GitHub repos by avantrec

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