a parametric 3D CAD modeler
fast C++ library for linear algebra & scientific computing
Zoomable user interface (ZUI) with file manager, file viewers and more
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
A canvas library for generating technical drawings
A system for computer algebra and symbolic mathematics
Cuts 3D objects from polystyrene foam (EPS/XPS)