Texvc está escrito en Ocaml, y en MediaWiki se utiliza PHP para integrarlo con el resto del programa.