OCamlTeX is a combination of an OCaml script and LaTeX style file that, together, give the user the ability to define LaTeX macros in terms of OCaml code. Once defined, a OCaml macro becomes indistinguishable from any other LaTeX macro. OCamlTeX thereby combines LaTeX's typesetting power with OCaml's programmability.
The latest version of OCamlTeX can be obtained from a mercurial repository. To check it out, from the command-line run
hg clone static-http://free-the-mallocs.com/repos/ocamltex/