GoKawiilExactTeX brings gradual type-checking to LaTeX documents
A new open-source project called ExactTeX extends LaTeX with optional annotations that let authors mark specific objects—like tables or figures—for verification before compiling to PDF. Unannotated content passes through unchanged as ordinary LaTeX, and a browser-based editor called Vitela runs the same compiler via WebAssembly for local checking without a server. The toolchain includes a command-line compiler, a language server for editor integration, and a test suite ensuring consistent behavior across all three interfaces.