GitHub repos by icerpc

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