Responsible AI Toolbox is a suite of tools providing model
Open source MCP server that exposes database tools for AI agents
A Control Systems Toolbox for Julia
A package for the sparse identification of nonlinear dynamical systems
TLC is an explicit state model checker for specifications in TLA+
Library for the numerical simulation of closed as well as open quantum
Dynamical systems research tool
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
A suite of RPN calculators and a class library for Object Pascal
C++ libraries and apps for computer graphics and data visualization
NaveGo: an open source MATLAB/GNU Octave toolbox for processing integr
Building blocks for the renewable energy industry.
The free and open-source rule-based machine translation platform
One article per week, the content is concise, neither salty nor light
IMU Allan standard deviation charts
Verification via biSimulations of Max-Plus-Linear models
Analyse dynamical systems, plot its phase space and critical points.
Simple ODE solver for dynamical systems
A Deformable Medical Image Registration Toolbox
A MATLAB toolbox to simulate optical systems