Python2.7.3 for android
Lapack/quadprog QP for VBA/.Net/Java
combinational logic functions minimization
C++ wavelet library
Convex Optimization Algorithms Library
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
Platform-level utilities on .NET Framework 4.0 (C#)