camilochs/exacttex

A typed superset of LaTeX. Every `.tex` file works as-is; add annotations to check references, rename safely, and catch errors before the PDF is built.

28 best points · 22 comments · 1 Hacker News post · 23 GitHub stars · View on GitHub

Hacker News discussions

• ExactTex. A gradually-typed superset of LaTeX (28 points, 22 comments, by camilochs, 2026-09-01)