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".
xhtml2pdf converts HTML/XHTML/XHML to PDF using the ReportLab Toolkit, the HTML5lib, and pyPdf. It supports HTML 5 and CSS 2.1 (and some of CSS 3). The main benefit of this tool that a user with Web skills like HTML and CSS is able to generate PDF templates very quickly without learning new technologies.
ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.
The eLearning XHTML editor (eXe) is an offline Web-based authoring environment designed to assist teachers and academics in the design, development, and publishing of Web-based learning and teaching materials without the need to become proficient in HTML, XML, or complicated Web-publishing applications.
The edit-on JavaBean SDK is a customizable, feature-rich JavaBean that allows developers to add WYSIWYG editing functionality to their AWT- or Swing-based applications. It features an intuitive word processor-like user interface that enables XHTML content authoring with XML markup, and has a royalty free run-time license.
Web Site Robot is an easy to use Web site builder with a blog tool, shopping cart, and online photo album. It is free and does not require additional software, HTML, programming, or a hosting company. It enables secure online payments with credit cards. There is virtually unlimited storage space for HTML, documents, blogs, photos, music, videos, or any multimedia content.
EZ Reusable Objects (EZRO) is a Web application that can be used by non-technical staff to manage content as "objects." Content objects containing text, video, and audio can be shared, modified, and re-styled to appear via a traditional Web site, an on-line course, an innovative "Coach," or as a community of interest site. It is highly scalable and can be used for public Web sites, secure environments, and private intra/extranets.