GitHub repos by ingres-si

1 public repo by ingres-si in the catalog, most starred first.