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.
The aim of ADF MAGE-ML Tool is to provide a module for converting ADF files (a tab delimited file representing microarray design layout) into MAGE-ML format, and for generating an ADF from an array design described in MAGE-ML format. The module is build upon the ADF specifications and using MAGE-Stk APIs (Java). MIAME-compliance checking, a logging system, and integration of LifeScience Identifier (LSID) specifications are key components of the module. The module can be used via the command line or a graphical user interface.
ADM (Asterisk Desktop Manager) aims to integrate your desktop with the Asterisk PBX and hardware IP phone by providing some useful features such as automatic on-call volume reduction, one click dialing (from the clipboard), CRM integration via a browser popup, BlueTooth presence detection and automatic call redirection when you walk out of the office, and transfer of the current call from the desktop.
ADODB is a set of advanced PHP database abstraction classes. It supports MySQL, PostgreSQL, Interbase/Firebird, Informix, Sybase SQL Anywhere, Oracle, MS SQL 7 and 2000, SAP DB, Sybase, DB2, FrontBase, Foxpro, Access, Netezza, LDAP, ODBTP, ADO, and generic ODBC. A metatype system is built in, making it possible to figure out that types such as CHAR, TEXT, and STRING are equivalent in different databases. It also features portable database creation, database-backed session support (with encryption), SQL performance monitoring, and database health checks.
Af-Arch is an N-tier development framework to quickly build high-quality distributed applications. It currently supports C and C# programming languages, which enables you to write client applications using them. It currently runs on GNU/Linux and Microsoft Windows, and is being used in production environments.
AGM Build is a molecular builder and conformational editor. It can be used for interactive model preparation for molecular dynamics simulations, including association of atom types and partial charges. It features geometry editing, lattice building, building of chain molecules (e.g. proteins), chains with predetermined conformations, and charges and atom types according to selected Force Field.