GitHub repos by isdat-type

1 public repo by isdat-type in the catalog, most starred first.