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.
The ABOUT tool and ABOUT files provide a simple way to document the provenance (origin and license) and other important or interesting information about third-party software components that you use in your project. The tool is a command line based utility. The ABOUT tool helps automate OSS compliance that is needed throughout the software lifecycle.
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.