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 Artificial Knowledge Interface for Reasoning Applications (AKIRA) project aims to create a C++ development framework to build cognitive architectures and complex artificial intelligent agents featuring KQML, fuzzy logic, neural networks, fuzzy cognitive maps, and DIPRA. DIPRA is a distributed version of the BDI (Belief Desire Intention) goal oriented model.
Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.
Amiba is a Gene Expression Programming (GEP) framework for Java. GEP is, like genetic algorithms, a branch of evolutionary computing. The framework separates the process of evolution from the process of interpretation of the chromosome, allowing the use of various schemes. For example, graphs may be used as terminals and graph operations as operators in the chromosome instead of the usual double precision numbers. It implements mutation, transposition, and recombination. Options and rates are easily configured through an XML file. A mechanism to load fitness cases in bulk is also provided.
Aseba is an event-based architecture for distributed control of mobile robots. It targets integrated multi-processor robots or groups of single-processor units, real or simulated. The core of aseba is a lightweight virtual machine tiny enough to run even on microcontrollers. Robots are programmed in a user-friendly scripting language using a cozy integrated development environment.
BBalc is an open framework for the BloodBowl game. The purpose of this library is to provide chess-computer like functions like analyzing the game or generating BloodBowl actions. It provides a versatile interface to access and modify game data. The modular design allows users to extend existing analyse modules to their needs, build new modules from scratch, or even build complete applications based on the BBalc framework.
Bayesian Spam Filter is a class that can be used to detect spam in text messages using Bayesian techniques. It analyzes the text in terms of n-grams in a way that is idiom independent. It can be trained to progressively distinguish what is spam and what is not spam by detecting patterns in training samples. Training data is stored in a MySQL database.