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".
Snippetory is a general Java template engine based on passive templates. In passive templates, template code and logic are clearly separated from each other. The templates contains very simple mark up. By removing logic, templates are directly accessible, fully parametrized, and free of context, and can easily be reused. Navigation, code competition, and structuring of the code with methods and classes are supported.
oXygen is an XML editor that supports any XML document, and works with XML Schemas, DTDs, Relax NG schemas, and NRL Schemas. It has powerful transformation support that allows you to edit XSLT and XSL-FO documents and to obtain documents in the desired output format (such as HTML, PS, or PDF) with just one click. It also includes a complete Subversion client, support for flattening XML Schemata, an XML Schema instance generator, integration with the X-Hive/DB, MarkLogic and TigerLogic XML databases, editing actions on the diagram, and a rename refactoring action.
Oxygen XML Developer is an Oxygen distribution specially tuned for XML development, providing XML editing, XML conversion, XML Schema development, XSLT/ XQuery/ XPath execution and debugging, SOAP and WSDL testing, Native XML and relational database support, and XML instance generation.
The Java Wikipedia API (Bliki engine) is a parser library for converting Wikipedia/Mediawiki syntax to HTML. It supports wiki tags for bold, italic, headers, nowiki, source, table of contents, tables, lists, categories, footnotes (references), images, syntax highlighting of source code fragments, templates, and template parser functions.