ExactTeX: un superconjunto de LaTeX con tipado gradual que detecta errores antes de compilar

ExactTex. A gradually-typed superset of LaTeX

ExactTeX es un superconjunto de LaTeX con anotaciones graduales: cada archivo .tex ya es válido, y cada anotación que añades permite comprobar referencias, renombrar de forma segura y detectar errores en tus propios nombres antes de generar el PDF. El compilador, escrito en Rust sin dependencias, ofrece tres interfaces: CLI, LSP y WebAssembly. Su sistema de tipos, inspirado en el tipado gradual, garantiza que el LaTeX no anotado se transporta byte a byte, mientras que las anotaciones permiten verificar que una referencia apunta al tipo correcto (figura, tabla, sección, etc.). Incluye un editor en el navegador llamado Vitela.