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.
AAF SDK is a cross-platform SDK that supports the Advanced Authoring Format (AAF). AAF is a metadata management system and file format for use in professional multimedia creation and authoring. The AAF specification is administered by the AAF Association, which also coordinates development of the SDK.
ACASUserFolder is a User Folder implementing the Yale CAS single-sign-on (SSO) authentication method. It features support for Yale CAS architectures 1.0 and 2.0, Plone support with a quick installer, POST and GET methods handling on session timeout, a test panel for easy setup, and online help.
The Analysis Console for Intrusion Databases (ACID) is a PHP-based analysis engine to search and process a database of incidents generated by security-related software such as IDSes and firewalls (e.g., Snort or ipchains). It provides a search interface for finding alerts matching practically any criteria. This includes arrival time, signature time, source/dest address/port, flags, payload, etc. ACID also provides the ability to annotate and logically group related events, delete false positives, or archive alerts among databases. Finally, a variety of statistics and graphs can be generated based on time, IP address, ports, alert classification, and sensor.
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.
ACR is a Web CMS library that can be embedded inside any Turbogears 2 application to add CMS functions. It provides all the fundamental tools to allow an individual or a community to easily publish and manage a Web site with different content types, from Twitter streams to video galleries. It also provides an easy-to-use set of APIs to create new content types by defining your Views. ACR also comes with ACR_cms, a CMS implemented by using libACR.
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.