GitHub repos by lagranges

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