GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.
RefDB is a reference database and bibliography tool for SGML, XML, and LaTeX documents. Command-line tools allow interactive or scriptable access to the data which are stored in a SQL database. RefDB can also be accessed through a Web interface, a SRU interface, or via editor extensions (Emacs/vim). Libraries for Perl and PHP are available for programmers. RefDB provides sophisticated character encoding handling, using Unicode by default.
The Project Gutenberg Markup Tool is a command-line tool with a GUI front-end that automatically creates an HTML or LaTeX file from a Project Gutenberg etext. The aim is to provide publication-quality formatted etexts, without manual markup, in conjunction with post-processing by other pre-existing tools. It is tailored specifically to Project Gutenberg etexts, but can in some cases be used for other plain-ASCII etexts.
MP3-CD-Sleeve is composed of two Perl scripts that produce HTML or LaTeX-style pages that can be printed as the index sleeve of an (MP3) CD. It briefly lists the directory hierarchy, by enumerating directories for ease of use in MP3 CD players. The LaTeX script tries to fit everything in a 5" x 5" (12.5cm x 12.5 cm) frame with wrap-around at the edges (no fold-out feature is included yet, it produces just the front cover).
BHL is an Emacs mode which enables you to convert plain text files into HTML, LaTeX, Texinfo, SGML (Linuxdoc), and TXT files. The BHL mode handles three levels of sections, many sectioning styles, common font-styles, any kind of lists, tables, URLs, horizontal rules, and Wiki names. BHL handles a list of links (lol) and a table of contents (toc): you can browse the lol and the toc, insert them where you want, and update the sections' numbers with one keystroke.
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".
TeX2Page makes Web pages from TeX manuscripts. It reads an input document that is marked in a TeX format and produces an output document with the functionally-equivalent HTML markup. It uses the same input file syntax, calling conventions, and error-recovery mechanisms as TeX, and thus demands no additional expertise of a user already familiar with TeX. It runs on modern Schemes and Common Lisp.