GitHub repos by max-moser

1 public repo by max-moser in the catalog, most starred first.