fast C++ library for linear algebra & scientific computing
fast C++ library for GPU linear algebra & scientific computing
simulated annealing optimization and importance-sampling
A real time inference engine for temporal logical specifications
Teachable/trainable artificially intelligent music bot
A book on parallel programming and a C++ library
Mixed Integer Linear Programming (MILP) solver.
Pattern-based multi/many-core parallel programming framework
A tool for finite state machine analysis and synthesis.
Utility classes, APIs and tools for Java
Bachelor of Science (Informatik)
The DjVu complete solution,with OCR Technology(Arabic ,English).
Open Source SEO & SEM Text Creation Tools for free Article Writer
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
An implementation of Dantzig-Wolfe decomposition built upon GLPK