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".
DocBook Doclet creates DocBook XML and class diagrams from Javadoc comments, converts HTML to DocBook, and transfoms DocBook XML into various output formats. It consists of a complete DocBook distribution containing schemas and the DocBook XSL stylesheets. It also integrates Apache FOP as the XSL:FO processor. A Swing application is used to customize the doclet and most of the DocBook XSL parameters and to start the transformations.
Piggydb is a flexible and scalable knowledge building platform that supports a heuristic or bottom-up approach to discover new concepts or ideas based on your input. You can begin with using it as a flexible outliner, diary or notebook, and as your database grows, Piggydb helps you to shape or elaborate your own knowledge. Piggydb is a Web application provided as a self-contained package that contains a Web server and database engine.
documentr is a Web-based tool for editing and presenting software documentation. It allows you to easily maintain documentation for multiple products and product branches. Edits can easily be copied between branches, with merge conflicts being handled gracefully. It uses Markdown as its markup language, along with some extensions, and has a role-based permission system.
The DocBook Authoring and Publishing Suite (DAPS) provides a tool set for easy creation and publication of DocBook sources on Linux. It lets you create HTML (including Webhelp), PDF, EPUB, man pages, and other formats with a single command. It automatically takes care of validating and filtering (profiling) your sources and automatically converts images into a format best suited for the output format. You can easily create profiled source tarballs for translation or review. DAPS supports authors by providing linkchecker, validator, spellchecker, and editor macros. It is well suited to manage large documentation projects with multiple authors using the DAPS docmanager.
UMLet is a lightweight tool for rapidly drawing UML diagrams, with a sound and pop-up-free user interface. UMLet lets you draw diagram sketches quickly, teach UML with a simple user interface, and export diagrams to SVG, JPG, PDF, and LaTeX-friendly EPS. It features a fast, text-based way of editing UML elements.
GNU Source-highlight produces a document with syntax highlighting when given a source file. It handles many languages, e.g., Java, C/C++, Prolog, Perl, PHP3, Python, Flex, HTML, and other formats, e.g., ChangeLog and log files, as source languages and HTML, XHTML, DocBook, ANSI color escapes, LaTeX, and Texinfo as output formats. Input and output formats can be specified with a regular expression-oriented syntax.
UMLGraph facilitates the declarative specification and drawing of UML class and sequence diagrams. One can specify a class design using the Java syntax complemented by Javadoc tags. Running the UmlGraph doclet on the specification generates a Graphviz diagram specification that can be automatically processed to create Postscript, GIF, SVG, JPEG, fig, or Framemaker drawings. Similarly, sequence diagrams are specified using declarative pic macros and compiled with the GNU plotutils pic2plot program into a PNG, PNM, (pseudo) GIF, SVG, AI, Postscript, CGM, FIG, PCL, HPGL, Regis, or TEK drawing.
The Big Faceless Report Generator is a Java application for converting source documents written in XML to PDF. Built on top of the Big Faceless PDF & Graph Libraries, the Report Generator combines these features and wraps an XML parser around them. Using JSP, ASP, XSL, or similar, creating dynamic PDF documents directly from a database is now as easy as HTML.