The ANT typesetting system

Achim Blumensath's ANT project, in contrast to NTS, aims not to replicate TeX with a different implementation technique, but rather to provide a replacement for TeX which uses TeX-like typesetting algorithms in a very different programming environment. ANT remains under development: its implementation still lacks at least one important part of the TeX document model: insertions (the basis of LaTeX floats), as well as several minor things.

ANT's markup language is immediately recognisable to the (La)TeX user, but the scheme of implementing design in ANT's own implementation language (presently OCaml) comes as a pleasant surprise to the jaded FAQ writer. This architecture holds the promise of a system that avoids a set of serious problems with TeX's user interface: those that derive from the design language being the same as the markup language.

ANT downloads
http://www-mgi.informatik.rwth-aachen.de/~blume/Download.html

This question on the Web: http://www.tex.ac.uk/cgi-bin/texfaq2html?label=ant