Google Testing and Mocking Framework
Capture and control API for IIDC compliant cameras
Create software without writing a single line of code
fast C++ library for linear algebra & scientific computing
The GNU Prolog native compiler
Free and Open Source Technical Analysis Charting Software
fast C++ library for GPU linear algebra & scientific computing
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Speech recognition software for English & Polish languages
Intellect Modeling Kit: assisting research, diagnostics, consulting
This is a suite of mathematical software solvers GUI
A puzzle game of rules acting upon rules. Create the desired pattern.
Java Decision Diagrams (BDD) libraries: JDD and JBDD