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".
The 'expp' tool (the Epeios XML preprocessor) reads an XML file to transform it to another XML file. It simplifies the writing of XML files by allowing the handling of macros, the definition and testing of variables, the inclusion of files, and more. This is done by writing, directly in the source XML file, predefined tags owned by a given namespace, tags which are then recognized and handled by the 'expp' tool. The tool is also available as a Java native component.
FM-Classic provides an easy way to get data from Java servlets into Web pages. It also helps you keep graphic design separate from application logic. The template language is powerful and intuitive, the compiler is fast, and the output approaches the speed of static HTML pages. FM-Classic is a continuation of the FreeMarker 1.x code base.
Kile is a user-friendly TeX/LaTeX editor for the KDE desktop environment. It lets you compile, convert, and view your document with one click and features auto-completion of (La)TeX commands, templates and wizards for starting a new document, easy insertion of many standard tags and symbols and the option to add user defined tags, inverse and forward search, collection of documents that belong together into a project, easy insertion of citations and references, a flexible build system, QuickPreview of selected parts of a document, easy access to various help sources, and advanced editing commands.
OpenGrok is a fast and usable source code search and cross reference engine. It helps you search, cross-reference, and navigate your source tree. It can understand various program file formats and version control histories like Mercurial, Bazaar, Git, ClearCase, Perforce, SCCS, RCS, CVS, or Subversion. In other words, it lets you grok (profoundly understand) the source.