GitHub repos by info-mono

1 public repo by info-mono in the catalog, most starred first.