GitHub repos by platan

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