GitHub repos by atp-mipt

1 public repo by atp-mipt in the catalog, most starred first.