GitHub repos by codica2

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