
plastex
plasTeX is a Python package that processes LaTeX documents into an XMLDOMlike object which can be used to generate various types of output.

InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.

SaaSHub
SaaSHub  Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
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 makeproject file https://github.com/stacks/stacksproject/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/
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 makeproject file https://github.com/stacks/stacksproject/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/
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 makeproject file https://github.com/stacks/stacksproject/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/
https://github.com/dginev/ar5ivcss
and add "css=ar5iv.css nodefaultresources" to the command line options for latexmlpost (or latexmlc).
Or alternatively, for people not interested in learning how to install and configure latexml, they can try the selfcontained Dockerfile at:
https://github.com/dginev/ar5ivist/
https://github.com/dginev/ar5ivcss
and add "css=ar5iv.css nodefaultresources" to the command line options for latexmlpost (or latexmlc).
Or alternatively, for people not interested in learning how to install and configure latexml, they can try the selfcontained Dockerfile at:
https://github.com/dginev/ar5ivist/