a parametric 3D CAD modeler
fast C++ library for linear algebra & scientific computing
Virtual X-Ray Imaging Library on GPU
System dynamics program with additional features for economics
console tools, batch scripts, shell scripts, shell tools, utilities
Computer Assisted Proofs in Dynamics
the intelligent predictive text entry platform
Format converting tool for genotype Data (e.g.PLINK-MACH,MACH-PLINK)
A portfolio-optimizer using Markowitz(1952) mean-variance model
Numerical Transient Simulator for Power System
SocExplorer, an open source System On Chip testing software/framework.