2D/3D Stacked Horizontal Bar Graph for PHP provides a very easy way to embed dynamically generated stacked horizontal bar graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.
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.
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.
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.