GitHub repos by asciimath

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