RenderX XEP is a commercial-grade application written in Java for dynamic rendering of XML documents. XEP is a pluggable architectural component that takes two open standard inputs, XML data and XSL FO stylesheet, and produces the industry's defacto standards for high-quality rendered electronic documents, Adobe PDF and PostScript. XEP supports many extensions to the XSL FO specification, including SVG graphics and PDF-to-PDF linking.
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".
Glossword is a system to publish dictionaries, glossaries, and encyclopedias. It features an installation wizard, support for multiple languages, visual themes, multi-domain installation, an administrative interface with multi-user support, built-in search and cache engines, the ability to export/import dictionaries in XML format, and W3C-validated code. Glossword is useful for any sort of dictionary-like content, including sites with game cheat codes, online translators, references, and various kinds of CMS solutions.
snip is an Ant task designed to help with the single-sourcing of program documentation. This task extracts snippets of text from files, placing them into properties in the Ant project. These properties can then be used by any other Ant task, and are particularly useful when referenced by <filter>s within the <copy> task. It was originally written to keep snippets of sample code in API documentation synchronized with the actual sample classes by automatically extracting code from the samples when the project is built.
a2ping is a Unix command line utility that converts many raster image and vector graphics formats to EPS or PDF and other page description formats. Accepted input file formats are: PS (PostScript), EPS, PDF, PNG, JPEG, TIFF, PNM, BMP, GIF, LBM, XPM, PCX, and TGA. Accepted output formats are: EPS, PCL5, PDF, PDF1, PBM, PGM, PPM, PS, markedEPS, markedPS, PNG, XWD, BMP, TIFF, JPEG, GIF, and XPM. a2ping delegates the low-level work to Ghostscript (GS), pdftops, and sam2p. Only the first page of PDF and PS files are converted.