LaTeXML VS python-tabulate

Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

LaTeML [1] is presumably the latex to html tool that arXiv is testing right now. What are peoples thoughts about it compared to other such tools?

[1] https://github.com/brucemiller/LaTeXML

They aren't using the rendered PDFs. They are convering from the LaTeX sources, that you upload to arxiv with https://github.com/brucemiller/LaTeXML

pandas.DataFrame().to_latex() [1] and tabulate [2] support latex table output.

[1] https://pandas.pydata.org/docs/reference/api/pandas.DataFram...

[2] https://github.com/astanin/python-tabulate/blob/master/tabul...

pandas uses tabulate

As a general piece of advice, the tabulate package is useful for neatly formatting spreadsheet-style data, as is the pandas package, although tabulate is much simpler to use.

There are ways to do it manually with padding/alignment, but using the built-in csv module to read the file and tabulate to format it is probably the easiest way.

If you're not against a third-party library, consider tabulate.

You mean output to the terminal? You could use a module like tabulate or pandas to do that for you. You could also write a quick function yourself that does the same thing; that would be a fairly easy project. Just transpose the data, calculate the max length in each column, then print row by row while padding to the max length. Probably 8 lines of code.