1HTML Converter

• Code

  • TeXmacs/progs/convert/html

  • src/Data/Convert/Xml

• Documentation

  • http://www.texmacs.org/tmweb/manual/webman-convert.en.html

2Markdown Converter

• https://bitbucket.org/mdbenito/tm2md/src/master/

• https://github.com/texmacs/blog