AccuRev is a fast, powerful, and easy-to-use Software Configuration Management (SCM) tool with integrated issue tracking based on "Streams" that more efficiently manages complex parallel and global development. Streams are a combination and superset of branches and labels that are first class objects instead of being file-by-file attributes. AccuRev records all merges and patches, so you never have to re-merge the same code. It supports file and directory renaming and merging, follows a client/server model, and is transaction-based. It includes an integrated graphical 3-way diff and merge tool. AccuRev provides an Open API (and SDK) to integrate with any third-party development tool (IBM/Rational ClearQuest, Serena TeamTrack, and more out of the box). It also integrates with Eclipse, the MS SCC API (MS Visual Studio), Sun Java Studio, any diff/merge tool with a command line interface, and more.
Alma is a software workshop for modeling and analyzing. It reads several sources (languages, models, etc.), helps you design for object-oriented modeling (definition of classes, relations, patterns, etc.), modifies the structure and the code, and outputs new sources, documentation, diagrams, etc. It is designed for object-oriented modeling (definition of classes and relations) and for migrating code in older languages. It meets two needs, offering a simplified software modeling workshop for small projects and making it easier to do rewrites, ports, and encapsulation of non-OO code.
Bugzilla is the leading open-source/free software bug tracking system, with high-profile installations at mozilla.org, GNOME, Red Hat, and NASA, among others. It features a comprehensive set of fields, attachment management, inter-bug dependencies, email notification of changes, a powerful query interface, reporting, and Web, XML, email, and console interfaces. It can be managed entirely using a Web-based UI. The user UI is customizable using templates.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
PHPXref is a Perl script that cross-references classes, functions, variables, and SQL tables used in a PHP-based Web site and generates simple HTML output designed to make browsing through code easy. In addition, it can extract phpdoc style comments from the PHP files to provide browsable documentation.
RT is an industrial-grade trouble ticketing system. It lets a group of people intelligently and efficiently manage requests submitted by a community of users. RT is used by systems administrators, customer support staffs, NOCs, developers, and even marketing departments to track issues, outages, bugs, requests, and all kinds of other things at thousands of sites around the world.