Phptempt is a template engine for PHP and Java. Templates are precompiled and then included to the script/Java program as a PHP script/Java program. Templates are organized in blocks and placeholders, all placed in one single file. Blocks may be recursive. A version of the engine is available that is optimized for Java and particularly useful for the creation of code generators of any kind.
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".
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.
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.
ShaniXmlParser is an XML/HTML DOM/SAX parser. It can parse not well formed XML/HTML files. It can parse files with inverted tags and bad escaped &,<,> and ". It expands all XHTML entities by default. It is well suited to parse HTML files, and is fast with low memory usage. It is compliant with the jaxp/w3c DOM1/2/3 interfaces.