doclifter helps with lifting documents with nroff markup to XML-DocBook. Lifting documents from presentation level to semantic level is hard, and a really good job requires human polishing. This tool aims to do everything that can be mechanized, and to preserve any troff-level information that might have structural implications in XML comments. TBL tables are translated into DocBook table markup, PIC into SVG, and EQN into MathML (relying on pic2svg and GNU eqn for the last two).
Plone is a content management system that is simple to set up, maintain, and modify. It is designed to be a corporate-ready content management system. It is ideal as an intranet and extranet server, as a document/Web publishing system, and as a groupware tool for collaboration between separately located entities. It aims to be a proper content management and publishing system, sharing the same qualities as Teamsite, Livelink, and Documentum.
code2flow is an experimental script which sweeps through your project source code, looking for function definitions, then does another sweep, looking for where those functions are called. It connects the dots and presents you with a flowchart estimating the functional structure of your program. It is especially useful for untangling spaghetti code and getting new developers up to speed. code2flow is experimental and meant to provide a rough overview of the structure of simple projects. Source code which is just a little esoteric will break this. Even with normal code, there are many known limitations and many outright bugs.
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.
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.
tex-upmethodology provides a complete set of LaTeX styles that permit you to write documents according to a UP-based methodology. Its major features are document history, task management, design and specification documentation, and helping tools. tex-upmethodology is officially supported by CTAN.
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".