GitHub repos by TOMP-WG

1 public repo by TOMP-WG in the catalog, most starred first.