A real time inference engine for temporal logical specifications
AlgoSim : création, analyse et exécution des algorithmes
ZHSoftware
Ring-Buffer library in C, includes support of multithreading
Utility converts the weights file of a MLP Breadboard into a formula
c++ and c library to help build win32 software and others platforms
The solution to all your problems
Library for optimization using a genetic algorithm or particle swarms
AS511 communication driver
Toolkit for Automatic Control and Dynamic Optimization