HTMLArchive provides Webmasters with an easy means to handle archiving Web pages. After some preparatory setup, the webmaster need only create the new Web page and run HTMLArchive. HTMLArchive will hook the new page into the indexing page, and optionally put text from the latest page into your indexing page.
HTMLTemplate converts (X)HTML templates into simple object models controlled by callback functions defined in your Python code. Conceptually similar to DOM (but much simpler), it provides complete separation between HTML markup and presentation logic. It boasts an excellent power-to-weight ratio thanks to its lightweight DOM-inspired design: the implementation and API are extremely simple and compact, yet powerful, flexible, and easy to modify and/or use.
HTMLpage is a text-based HTML editor. It can use drag'n'drop to generate hyperlinks and image tags with relative links and image sizes. It allows you to create a table by highlighting and copying a table from a document, pasting it into HTMLpage, and then clicking TABLE-ify. It will turn the comma-delimited data into a nice neat HTML table. Plain text can be converted to HTML. It also features spell-checking, color tag generation from a color picker, and keyboard shortcuts for several common HTML tags.
Highlighter is a PHP class that can be used to reformat highlighted PHP code. It can highlight PHP code and turn keywords into links to the respective manual page in the PHP.net site. If the code is not enclosed in PHP code tags, it adds these tags before highlighting the code. It can also escape a text string to display as HTML using configurable block tags.
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".