OStatic

Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine...

LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve ma...

Fast Artificial Neural Network Library (FANN) implements multilayer artificial neural networks in C. It is cross-platform, easy to use, versatile, wel...

Joone is a neural net framework written in Java. It's composed by a core engine, a GUI editor and a distributed training environment and can be e...

Ruby forward and backward chaining rules system. Supports deduction or simplifying, domain transformation, integrity assertions / truth maintenance, ...

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, effici...

Based on the agent oriented programming paradigm, the AgentFactory Framework provides tools for the fabrication and deployment of intentional software...

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "th...

NxBRE is a lightweight Business Rule Engine (aka Rule Based Engine) for the .NET platform, composed of a forward-chaining inference engine and an XML-...

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).