ExactTex. A gradually-typed superset of LaTeX
Summary
ExactTeX is a gradually-typed superset of LaTeX that adds annotations to enable checked references, safe renames, and error reporting in the author's own names. The project provides a Rust/WebAssembly-based compiler (xtex) with an LSP surface, and two no-infrastructure deployment modes that preserve ordinary LaTeX while enabling stronger checks and traceable revisions.