GitHub repos by argmin-rs

1 public repo by argmin-rs in the catalog, most starred first.