"Documents can be saved in TeXmacs, Xml or Scheme format and printed as Pdf or Postscript files. Converters exist for TeX/LaTeX and Html/Mathml. Notice that TeXmacs is not based on TeX/LaTeX." (ib., 2019-10-14)
"Dompdf is an HTML to PDF converter: At its heart, dompdf is (mostly) a CSS 2.1 compliant HTML layout and rendering engine written in PHP. It is a style-driven renderer: it will download and read external stylesheets, inline style tags, and the style attributes of individual HTML elements. It also supports most presentational HTML attributes."
"a drop-in replacement for the original AsciiDoc Python processor (...) Asciidoctor recognizes additional markup and formatting options, such as font-based icons (e.g., icon:fire) and UI elements (e.g., button:[Save]). Asciidoctor also offers a modern, responsive theme based on Foundation to style the HTML5 output."
"a text document format for writing notes, documentation, articles, books, ebooks, slideshows, web pages, man pages and blogs. AsciiDoc files can be translated to many formats including HTML, PDF, EPUB, man page."
"real-time collaborative environment for LaTeX built in nodejs. It includes a beautiful LaTeX ACE Editor and a PDF renderer." "It's a free and open-source version of ShareLatex." Unfortunately, development stopped end of 2014.