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
NaveGo: an open source MATLAB/GNU Octave toolbox for processing integr
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
Module Computation for Metabolic Networks
approximate Bayesian computation for stochastic differential equations
CAS routines for theoretical analysis of nonlinear time-delay systems
PHP tools for developers and system administrators