Reminds me of https://github.com/mtarek/compitex which is a very barebones LaTeX math to C compiler. I've done a bit of work to make it better, but it really needs a lot of work, and it needs to compile to languages with polymorphism.
TFA makes me really like the idea of literate papers, with math, code, and data embedded in the paper.