Search Results for "programming c++ library"

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive Apache 2.0 license, useful for both open-source and proprietary (closed-source) software * Can be used for machine learning, pattern recognition, computer vision, signal processing, bioinformatics, statistics, finance, etc * Downloads: http://coot.sourceforge.io/download.html * Documentation: http://coot.sourceforge.io/docs.html * Bug reports: http://coot.sourceforge.io/faq.html * Git repo: https://gitlab.com/conradsnicta/bandicoot-code

We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate...

General C++ Library, with modules for Computer Vision, Pattern Recognition and much more.

clipsmm is a C++ interface to the CLIPS libray, a C library for developing expert systems.

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD

The Rossum Project is an attempt to collect and distribute robotics software. We are seeking help with our first project, a mobile-robot simulator featuring a 2-D virtual world, and new work including artificial intelligence and robot-control logic.

Blackboard implements a lightweight, portable tuple space suitable for multi-agent system and distributed component design. Supports implicit invocation via content-filtered asynchronous events, blocking call semantics, and shared memory messaging.

RobotFlow is a mobile robotics tookit based on FlowDesigner. The visual programming interface provided with FlowDesigner will help people to better visualize & understand what is really happening in the robot's control loops, sensors and actuators.

J-Alice is a C++ implementation of an Alicebot clone. It can chat on console, irc and function as a mini-http server. Currently it runs on Linux, BeOS, Windows and Solaris with equal functionality.

JIMHR or "Java Interactive Mathematical Handwriting Recognizer" as the name suggests is the online handwriting recogition system that specializes in mathematical domain. It processes a user's handwriting through mouse or stylus pen and outputs the c

Java port and extension of MLC++ 2.0 by Kohavi et al. Currently contains ID3, C4.5, Naive (aka Simple) Bayes, and FSS and CHC (genetic algorithm) wrappers for feature selection. WEKA 3 interfaces are in development.