Blahcaml provides basic Ocaml bindings to the Blahtex library. Blahtex is written in C++, and aims at the conversion of TeX equations into MathML (see http://gva.noekeon.org/blahtexml/ for details).