GitHub repos by intfloat

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