latex2html

LaTeX to HTML translator

Install

All systems
curl cmd.cat/latex2html.sh
Debian Debian
apt-get install latex2html
Ubuntu
apt-get install latex2html
Arch Arch Linux
pacman -S latex2html
image/svg+xml Kali Linux
apt-get install latex2html
CentOS
yum install latex2html
Fedora
dnf install latex2html
Windows (WSL2)
sudo apt-get update sudo apt-get install latex2html
OS X
brew install latex2html
Raspbian
apt-get install latex2html

latex2html

LaTeX to HTML translator

LaTeX2HTML is a conversion tool that converts documents written in LaTeX to HTML format. In addition, it offers an easy migration path towards authoring complex hypermedia documents using familiar word-processing concepts. LaTeX2HTML replicates the basic structure of a LaTeX document as a set of interconnected HTML files which can be explored using automatically generated navigation panels. The cross-references, citations, footnotes, the table of contents and the lists of figures and tables, are also translated into hypertext links. Formatting information which has equivalent ``tags'' in HTML (lists, quotes, paragraph breaks, type styles, etc.) is also converted appropriately. The remaining heavily formatted items such as mathematical equations, pictures or tables are converted to images which are placed automatically at the correct positions in the final HTML document. LaTeX2HTML extends LaTeX by supporting arbitrary hypertext links and symbolic cross-references between evolving remote documents. It also allows the specification of conditional text and the inclusion of raw HTML commands. These hypermedia extensions to LaTeX are available as new commands and environments from within a LaTeX document. Pstoimg, the part of latex2html that produces bitmap images from the LaTeX source, can support both GIF and PNG format.

swi-prolog-nox

ISO/Edinburgh-style Prolog interpreter (without X support)

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. SWI-Prolog additionally offers: * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface This package contains a working SWI-Prolog installation with GUI components.