The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
pdfTeX is an extended version of TeX that can create PDF directly from TeX source files and enhance the result of TeX typesetting with the help of PDF. When PDF output is not selected, pdfTeX produces normal DVI output, otherwise it produces PDF output that looks identical to the DVI output. An important aspect of this project is to investigate alternative justification algorithms, optionally making use of multiple master fonts.
RapidTeX is an easy document markup language that focuses on exporting to LaTeX and HTML. The source files are far more intuitive since they resemble plain text files more than HTML or LaTeX, are faster to edit, and are easier to read. But extensive features like graphics, complicated tables, and lists are also supported. Unicode (UTF-8) is also supported, and takes a key position in this document markup language.