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.
Absolut Engine is a PHP/MySQL framework built on the basis of a former news publishing system. It features 3 layer access, article posting, editing, and deleting. Included are a basic image and file manager as well as a related articles manager. Rich text editing is provided via a built-in WYSIWYG editor that produces XHTML 1.0 Strict compliant code. It is easy to extend via the module functionality. It is fully configurable and easy-to-use. Modules include discussions, surveys, RSS feed export and import, search engine optimization, a messaging system, weather reports, and Google Maps.
AccWhizz is a multilingual accounting application for small business companies and accounting offices. It is modular, written in PHP 4.x, and operates on top of PHP GroupWare. It runs as a Web application with Apache and phpgroupware serving as a middle layer. Internal data is managed by PostgreSQL/MySQL databases. The SQL server can either be local or remote.
AfterLogic WebMail Lite PHP is a Webmail script with a modern AJAX interface. It supports POP3/IMAP accounts, SMTP, and SSL (including Gmail). Users can check and send mail and use an address book. Skins, a 3-pane view, non-English languages (including right-to-left Arabic and Hebrew), UTF-8 and other charsets, IMAP folders, and view and compose HTML mail. MS SQL/MySQL backends are supported, as well as multiple mail accounts and domains, Web-based administration and installation, and cPanel integration.