Open Source C Software Development Software

CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.

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 Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

VoxForge collects user-submitted speech audio files for the creation of Acoustic Models for Free and Open Source Speech Recognition Engines such as HTK, Julius, ISIP and Sphinx.

FOOL is a Fuzzy system development tool with interactive 'foolproof' graphical user interface.

Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior. Researchers all over the world, both from the fields of artificial intelligence and cognitive science, are using Soar for a variety of tasks.

CLIPSwl is a modified project based on CLIPS(C Language Integrated Production System)(https://sourceforge.net/projects/clipsrules/), a public domain open-source software tool for building expert systems. CLIPS(ver. 6.24) is unsafe when access simultaneously occurs at the same environment, because the environment data of CLIPS are not protected for simultaneous access. We modified the CLIPS (ver. 6.24) to support lock/unlock functions in a flexible way. CLIPSwl doesn't use complicated logic such as platform-independent mutex, but newly defines 4 abstract functions (i.e. using function pointers) for allocating, acquiring, releasing and deallocating locks of the environment data. Users may define their own functions that fit for their system by using their platform-dependent mutex. CLIPSwl also support the safe string-related functions treating the rules, and refining the warning parts of the code when compiling with gnu g++ compiler.

This project is a rewritten of an initial project that I've called GLUE and created in 2005. I'm trying to readapt it for Python 2.7.3 and GCC 4.6.3 The library has to be build as a simple Python extension using >python setup.py install and allows to create different kind of servers, clients or hybryds (clients-servers) over (TCP/UDP) using the Ipv6 Protocol. The architecture of the code is based on brain architecture. Will put an IPv6 adress active available as soon as possible so that you can download pieces of codes. The aim of that coding was to use primary linux commands easily codable and make an object of an IPv6 connection. Moreover, the model is full-state!

Meyshan Wall, This is the ultimate wall paper changer, using Micro soft .Net framework, Meyshan wall would fetch public and private photos from Picasa, Flicker, Riya, and 23 Hq and from your local directory to display as wallpaper as per your settings.

NeMo is a high-performance spiking neural network simulator which simulates networks of Izhikevich neurons on CUDA-enabled GPUs. NeMo is a C++ class library, with additional interfaces for pure C, Python, and Matlab.

OpenCV-AR is a software library used for Augmented Reality development. It is targeted on Linux, though it is also able to work on Windows platform. It is an alternative to ARToolKit for Augmented Reality application development.

OpenRDK (OPENsource Robot Development Kit) is a modular software framework that can be used by developers in their research in robotics and artificial intelligence. This project has been moved to https://github.com/madmage/openrdk

Neural Network calculation & learning library

Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.

URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht

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

darknocK detects edges in images. It is using Artificial Neural Networks to enchance the results of standard algorithms.

This project has moved to github at http://lmwtree.devries.ninja.

nMars - Corewars MARS for .NET

Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.