Google Testing and Mocking Framework
Create software using visual programming
fast C++ library for linear algebra & scientific computing
The GNU Prolog native compiler
fast C++ library for GPU linear algebra & scientific computing
Speech recognition software for English & Polish languages
Text categorization, arabic language processing, language modeling
Award winning eye health monitoring and Work Stress reliever
Research tool for interactive training of artificial neural networks.
Java Decision Diagrams (BDD) libraries: JDD and JBDD