GitHub repos by sargraph

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