Google Testing and Mocking Framework
fast C++ library for linear algebra & scientific computing
The GNU Prolog native compiler
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Intellect Modeling Kit: assisting research, diagnostics, consulting
Screen capture, OCR and translation tool
Evolving Artificial Life