Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
CodingTeam is a software forge that is lightweight and extensible. It provides a lot of collaborative tools. With this software forge, projects can benefit from basic features (such as screenshots, downloads, uploads, and news), communication features (such as chatrooms, forums, the OpenForge API, and Jabber/XMPP integration), and development features (such as a VCS code browser, a bug tracker, SVG statistics, timeline, and roadmap). Also provided are community tools (project browsing, tag clouds, notepad, and user profiles).
Doxer provides a wiki-based markup language for writing source code documentation and general purpose documents. It generates HTML output and also provides a Drupal input format module. The parser and HTML generator have a strong focus on robustness to support the full range of user sophistication found on general purpose Web sites. An extensive test suite accompanies the development.
Glossword is a system to publish dictionaries, glossaries, and encyclopedias. It features an installation wizard, support for multiple languages, visual themes, multi-domain installation, an administrative interface with multi-user support, built-in search and cache engines, the ability to export/import dictionaries in XML format, and W3C-validated code. Glossword is useful for any sort of dictionary-like content, including sites with game cheat codes, online translators, references, and various kinds of CMS solutions.
CryptoCD is a collection of user-friendly documentation for software that provides secure communication through the Internet. The programs cover tasks like email encryption, secure chat, and anonymous Web browsing. CryptoCD comes with comprehensive documentation explaining step by step installation and use of the software for inexperienced users. At the moment, the documentation is only available in German.