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.
APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.
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.
Accountability Pal monitors your network and keeps track of who is using the Internet and what they are viewing, downloading, uploading, etc. It emails a report of each user's activity to the person/people you specify. It will monitor HTTP traffic, Peer-to-Peer, FTP, and more. It uses a plugin interface to allow others to easily add new protocols to its monitoring abilities.
Aasm is an advanced modular assembler designed to support several target architectures. It has been designed to be easily extended. Its global architecture takes advantages of dynamic libraries to provide input, assembler and output modules. The input module supports Intel syntax (like nasm, tasm, masm, etc.). The x86 assembler module supports all opcodes up to P6 including MMX, SSE and 3DNow! extensions. F-CPU and SPARC assembler modules are under development. Several output modules are available for ELF, COFF, IntelHex, and raw binary formats. Advanced features include symbol scopes, an expressions engine, big integer support, macro capability, and numerous and accurate warning messages (over 300).
AmpJuke makes it possible to manage and stream your music online to several clients connected through a LAN or the Internet. In addition to streaming music, it can fetch "metadata" (album covers, images, lyrics, and track "fingerprints") automatically using various Web services such as last.fm and the.echonest. You can scan and import tags from as many tracks as you like, use favorites, and customize personal settings. Its focus is on easy navigation as well as speed.
Andutteye is a systems management platform that automates enterprise data centers and keeps them running. It contains different modules that targets different tasks of systems management. From a single point of operations you can monitor, manage, and execute all ranges of tasks needed for centralized systems management.