ChangeNav is a GUI application for managing ChangeLogs for software projects. Basically it allows you to add "Changes" and "Releases" to your log through a really simple interface. All the data is stored in a nicely formatted ChangeLog ready for distribution. ChangeNav can handle any number of projects, has a customizable editor, and action items, all configurable through it's config file 'cnav.conf'. The file is very self-explainatory. ChangeNav is written in Python using PythonCard and wxPython for its GUI.
SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.
AnthillPro is a build management and lifecycle automation server for the enterprise that makes the build and release process easy and efficient. As a continuous integration server, it can produce a new build for every developer check-in. The entire team can be alerted to problems via email or instant message. Each build can then be promoted to higher statuses, or deployed to various servers and environments using your scripts. At every step, AnthillPro records who did what to keep your auditors happy.
CUT is a unit-testing framework for C, C++, and Objective-C. Unlike other unit testing tools, CUT doesn't strive to be an SUnit clone. It automates a lot of the drudge work often encountered when using other unit testing packages for the C family of programming languages. CUT may also be used to unit-test assembly language software in some circumstances.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
The Project Assistant (prass) is a Web tool designed for use in the software change management process. It provides a Web interface for feature/support/change and bug requests support for projects that are separated from each other. Each project has its own list of developers (with different roles and permissions). The developer can perform operations depending on his permissions and role in the project.