0release is a program to generate source and binary releases automatically. With minimal configuration, 0release will generate a source tarball release candidate, build it to create a binary archive, upload them to your Web server, check the uploads, and tag the release in GIT and update the version number. It can run unit-tests and custom actions, such as building documentation, etc. For Zero Install users, it can also upload a signed XML metadata file about the release, allowing these users to upgrade automatically. Releases are signed with your GPG key.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
AMOP is an automatic mock object for C++. By using ABI and template techniques, it can simulate a pseudo-"Reflection" which is normally not supported in C++. The main differences between AMOP and other mock object libraries is that users do not need to implement the interface of the object to be mocked.
AQtime is an integrated performance and memory/resource optimization toolset aimed at applications running on the Linux platform. It can be used to discover application bottlenecks, memory leaks, resource-hogging code, or untested algorithms in any software projects. It then informs you which module, class, routine or line of code is causing the problem, and lets you quickly fix it. It can profile any executable that has the Executable and Linking Format (ELF) and the stabs format of the debug information.
Abbot is a framework for testing Java GUIs. It lets you launch an application or GUI component, play back user actions on it, and examine its state. Tests may be coded or scripted. The editor supports recording user actions into a script, exploring the component hierarchy, running the script, and other features you'd expect from a script editor. Test scripts are JUnit extensions.
Accerciser lets you test all aspects of accessibility on the GNOME desktop. It uses AT-SPI to inspect and control widgets, allowing you to check whether an application is providing correct information to assistive technologies and automated test frameworks. It has a simple plugin framework that you can use to extend and customize the accessibility information displayed. It is written in Python and uses the pyLinAcc component from LSR to interact with AT-SPI using pyORBit. In essence, it is a next generation at-poke tool.
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.
AePro is a compilation manager for programs written in progres4gl. It compares modification times and will only (re)compile the programs whose source code has changed. It is intended to be used in combination with Aegis, a transaction-based software configuration management system that provides a framework within which a team of developers may work on many changes to a program independently.