Orange: Interactive data analysis
TLC is an explicit state model checker for specifications in TLA+
Universal modeling and simulation of fluid mechanics upon ML
CFDTool - Easy to Use Fluid Dynamics (CFD) MATLAB Toolbox
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
Modeling and analysis tools for the TX-TL cell-free expression system
Vibrato Toolbox: Parametric Analysis of Musical Vibrato
An optimization toolbox for probabilistic Boolean networks
FastKO for personalized genome-scale knockout analysis
I Rest, IRIS Solves
MATLAB tool for network formation games modeling and visualization
Matlab functions for manipulating triangle meshes.
Matlab functions for manipulating tetrahedral meshes.
Groundwater flow and transport simulation Matlab Toolbox
Dynamic Multispecies Metabolic Modeling framework