GitHub repos by meta-math

1 public repo by meta-math in the catalog, most starred first.