LaTeXML
ideas
LaTeXML | ideas | |
---|---|---|
3 | 81 | |
858 | 1,660 | |
- | 1.0% | |
8.7 | 7.3 | |
14 days ago | 10 days ago | |
Perl | ||
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.
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
ideas
-
Type information for faster Python C extensions
Lower latency native calls in Python would be extremely useful, thank you for your work! Is the following GitHub issue the right place to monitor progress? https://github.com/faster-cpython/ideas/issues/546
I'm open to doing some benchmarking. Several of my libraries have pure CPython bindings (StringZilla, UCall, SimSIMD), and all perform low-latency SIMD-accelerated ops, so might be a good testing ground :)
-
How Many Lines of C It Takes to Execute a and B in Python?
Recent CPython development has been towards optimizations and addressing use cases that benefit from optimizations, some coming from the faster CPython initiative. You might just get your JIT[1].
[1] https://github.com/faster-cpython/ideas/wiki/Workflow-for-3....
-
GIL removal and the Faster CPython project
The faster-cpython folks seem to be working towards a JIT (https://github.com/faster-cpython/ideas/tree/main/3.13) and both pyston and cinder have JITs. So I don't think anyone has ruled one out.
-
Our Plan for Python 3.13
faster-cpython team has done a lot of work to experiment on it: https://github.com/faster-cpython/ideas/issues/485#issuecomm...
It kind of sounds like migration to register based is a foregone conclusion, but it's not very clear to me.
-
Faster CPython at PyCon, part two
lots of big ideas are still remaining to be done. One example is the register based interpreter, see https://github.com/faster-cpython/ideas/issues/485
A previous plan called for the beginning of a JIT in 3.12, seen as "Trace optimized interpreter" here: https://github.com/faster-cpython/ideas/wiki/Workflow-for-3....
- EdgeDB – A graph-relational database built on top of Postgres
- Python 3.12 Nogil Benchmark
What are some alternatives?
python-typing-machines - Python type hints are Turing complete.
Nuitka - Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4, 3.5, 3.6, 3.7, 3.8, 3.9, 3.10, and 3.11. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.
xlcalculator - xlcalculator converts MS Excel formulas to Python and evaluates them.
faster-cpython - How to make CPython faster.
di - Pythonic dependency injection
Pyjion - Pyjion - A JIT for Python based upon CoreCLR
json-parser-in-typescript-ver
pyenv-virtualenv - a pyenv plugin to manage virtualenv (a.k.a. python-virtualenv)
plain_latex_book - A plain latex book template
jnumpy - Writing Python C extensions in Julia within 5 minutes.
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.
nogil - Multithreaded Python without the GIL