A220 Mission 1 is an arcade game written as a Java Midlet for cellphones. It lets you fly through mountains and cave systems, eliminating multiple enemies before finally destroying the Pirate Base. You pick up weapons, shields, and fuel powerups along the way. There are multiple levels, terrains, and enemies.
ABC Path Generator is a program and a Perl library that generates layouts of ABC Path based on the input of a random number generator. Giving different seeds to the generator will yield different layouts. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured on brainbashers.com. ABC Path Generator makes use of depth-first-search to find usable final paths, and then assigns the clues for it, also using DFS.
ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.
ACCORD is a C library for composition of SEM or scanning helium-ion microscope images with correction of drift. It is able to compose (average) large sets of extremely noisy images that were acquired by scanning charged-particle microscopes at the highest possible speeds (lowest pixel-dwell times). If the images are composed using traditional techniques, they usually become extensively blurry. The technique that is implemented in this software corrects these derogations by pre-shifting the composed frames.
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.
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.