GitHub repos by icai

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