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.
AWbot is a bot that connects to your Web site and makes URL requests like human visitor. It's not a Web indexing robot, but a Web client tool that emulates visitors browsing your Web site to test its stability after a development change, its reliability, and its response to heavy loads.
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.
Aegis is a transaction-based software configuration management system. It provides a framework within which a team of developers may work on many changes to a program independently, and Aegis coordinates integrating these changes back into the master source of the program, with as little disruption as possible. Aegis supports geographically distributed development.
Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.
Alleyoop is a GNOME frontend to the Valgrind memory checker. Its features include a right-click context menu to intelligently suppress errors or launch an editor on the source file, jumping to the exact line of the error condition. A searchbar at the top of the viewer can be used to limit the viewable errors to those that match the regex criteria entered. A fully functional Suppressions editor is also included.
The Anthill Bug Manager is a tool that aids code development by keeping track of bugs in a medium-sized coding environment. It accomplishes this with a clean, simple, and fast interface that contains the essential features, but avoids the complexity associated with similar tools. It is written in Perl, requires an SQL database as a backend, and is Web server independent.
Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.