ExactTex. A gradually-typed superset of LaTeX (github.com)

<a href="https://news.ycombinator.com/item?id=49521631">Comments</a>