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.
Urbi is a robotics software platform. It includes a C++/Java middleware API called UObject to interface components such as motors, cameras, and algorithms, and an innovative scripting language, urbiscript, with built-in support for parallel and event-based programming, used to write high-level behaviors and orchestrate the interactions between components. UObject components are built as shared libraries exposed as native objects within urbiscript, and either hot-plugged in a running Urbi engine, or started as a remote autonomous process communicating with the engine via the network. At any time, new urbiscript code can be sent to a running Urbi engine via a simple telnet, to introspect the state of components, modify existing code, or add new behaviors. Urbi is cross-platform and supports several robots (Gostai Jazz, Lego Mindstorms, Aldebaran Nao, Segway RMP, Spykee, Bioloid, etc.) and a simulator (Webots).
GENESIS (short for GEneral NEural SImulation System) is a general purpose simulation platform that was developed to support the simulation of neural systems ranging from subcellular components and biochemical reactions to complex models of single neurons, simulations of large networks, and systems-level models. It was developed as a research tool to provide a standard and flexible means for constructing structurally realistic models of biological neural systems.
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 Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components that surround the heart of many scientific applications, hence the name "Orbital library". In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity, and generalization. Many sophisticated problems can be solved easily with its adaptable components.
HyperGraphDB is a general purpose, extensible, portable, distributed, embeddable data storage mechanism. Designed specifically for artificial intelligence and semantic web projects, it can also be used as an embedded object-oriented database for projects of all sizes. It is a Java-based product built on top of the Berkeley DB storage library. It can be used as a single in-process database bound to a location on the local disk or within a "cloud" of networked database instances communicating and sharing data in a P2P (peer-to-peer) fashion. Key features include storage of generalized hypergraphs, an open, extensible type system, basic query system and graph traversal algorithms, out-of-the-box support for Java object storage, thread-safe transactions, and a P2P framework for data distribution.
RapidMiner (formerly YALE) is a flexible Java environment for knowledge discovery in databases, machine learning, and data mining. Many nestable learning and preprocessing operators (including Weka) are provided. It features an XML-based graphical user interface, a plugin mechanism, and high-dimensional plotting, and provides an easy-to-use extension mechanism that makes it possible to integrate new operators and adapt the system to your personal requirements. A command line version is also included.
SCIP (Solving Constraint Integer Programs) is a framework for constraint integer programming oriented towards the needs of mathematical programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. It integrates techniques from mixed integer programming, constraint programming, and SAT solving. It can also be used as a pure MIP solver or as a framework for branch-cut-and-price. In order to use it, you have to link to an LP solver. It currently supports CLP, CPLEX, Mosek, Soplex, and XPress-MP.
Neural Network Framework is a C++ framework to develop, simulate, and analyze arbitrary complex neural networks. The programmer can use the classes provided to create neural networks with arbitrary topology and mixed type of neurons. It's very easy to add customized neurons and layers.