di
LaTeXML
di | LaTeXML | |
---|---|---|
5 | 3 | |
277 | 850 | |
- | - | |
0.0 | 8.7 | |
7 months ago | 7 days ago | |
Python | Perl | |
MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
di
-
Python Type Hints Are Turing Complete
Indeed.
The dep injection is fastapi and typer code though, and quite tied to it. So it's worth mentioning that somebody is attempting (quite successfully from the look of it) to create a generic lib of dep injection using annotation named DI, inspired by those libs: https://github.com/adriangb/di
-
I built a standalone version of FastAPI's dependency injection system
Also, to clarify because I realized my comment above was confusing: I did not mean that 1 file == 1 function in the def a_function sense, I meant it in the "functionality" sense. So for example di/_scope_validation.py is a piece of functionality (validating scopes) and so it is in it's own file instead of being at the top of di/container.py. I guess the entire project could be a 1000 LOC container.py file, I think I would personally find that a bit hard to digest, but it's for others to read not me so...
-
di: pythonic dependency injection
We provide some basic benchmarks comparing to FastAPI.
LaTeXML
-
Wikipedia of Algebraic Geometry Will Forever Be Incomplete. (2022)
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/
-
I don't always use LaTeX, but when I do, I compile to HTML (2013)
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
-
Python Type Hints Are Turing Complete
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
What are some alternatives?
xlcalculator - xlcalculator converts MS Excel formulas to Python and evaluates them.
python-typing-machines - Python type hints are Turing complete.
pydantic - Data validation using Python type hints
json-parser-in-typescript-very-bad-idea-please-dont-use - JSON Parser written entirely in TypeScript's type system
json-parser-in-typescript-ver
ideas
plain_latex_book - A plain latex book template
Asciidoctor - :gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
ar5ivist - A turnkey command for converting a LaTeX source to ar5iv-style HTML