Create software using visual programming
ECLiPSe Constraint Logic Programming System
fast C++ library for linear algebra & scientific computing
The GNU Prolog native compiler
Speech recognition software for English & Polish languages
This is a suite of mathematical software solvers GUI