GitHub repos by ismorphism

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