Minsky!

Xcos is a graphical editor to design hybrid dynamical systems models. Models can be designed, loaded, saved, compiled and simulated.

Simulink is a platform for multidomain simulation and Model-Based Design of dynamic systems. It provides an interactive graphical environment and a customizable set of block libraries that let you accurately design, simulate, implement, and test control, signal processing, communications, and other time-varying systems.

Caedium (formerly SymLab) and its add-ons combine to form an easy-to-use Computational Fluid Dynamics (CFD) software system to help you assess the performance of your 3D models.

Explore powerful simulation algorithms for System Dynamics and Agent Based Modeling in a truly cohesive environment. Use System Dynamics to gain insights into your system. Use Agent Based Modeling to granularly break apart the details.

EMSO is the acronym for Environment for Modeling, Simulation, and Optimization. EMSO is a graphical environment where the user can model complex processes simply selecting and connecting the equipment models.

The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming and optimization. It consists of a language compiler and a stable of integrated high-performance solvers. GAMS is tailored for complex, large scale modeling applications, and allows you to build large maintainable models that can be adapted quickly to new situations. GAMS is specifically designed for modeling linear, nonlinear and mixed integer optimization problems.