Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
The Robot Auto Racing Simulator (RARS) consists of a simulation of the physics of cars racing on a track, a graphic display of the race, and a separate control program (robot "driver") for each car. The goal of the game is to implement such a control program in order to compete against other programmers. An official formula one season is held every year.
EAsea Specification of Evolutionary Algorithms (EASEA), is a high-level language dedicated to the specification of evolutionary algorithms. The language and compiler are quite mature. EASEA compiles .ez specification files into C++ or Java object files, using existing evolutionary libraries. Supported C++ libraries currently are GALib or EO.
YAKS - Yet Another Khepera Simulator, is a Khepera simulator that uses prerecorded sensor values from a real robot in order to provide simulation speeds of 3600 times reality. It has support for the infrared sensors, light sensors, K213 vision turret, gripper arm, and more. The simulator comes with a GTK interface, a genetic algorithm (GA), and an artificial neural net (ANN).
The OpenAI site is centered around an Open Source project and community involving artificial intelligence. The project itself is the creation of a set of tools that are considered to be models of human intelligence or biomimicry. These tools are intended to be integrated into applications or used stand alone for research.