a parametric 3D CAD modeler
Virtual X-Ray Imaging Library on GPU
fast C++ library for linear algebra & scientific computing
Computer Assisted Proofs in Dynamics
A portfolio-optimizer using Markowitz(1952) mean-variance model
Numerical Transient Simulator for Power System
A pythonic interface to MATLAB