(X)HTMΛ
(X)HTMΛ is a HTML generator library that strives to produce pretty printed (X)HTML for human consumption. It is used by the document preparation tool HEΛP.