GitHub repos by pattex

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