Compute reachable states of dynamical systems
Responsible AI Toolbox is a suite of tools providing model
Open source MCP server that exposes database tools for AI agents
Algorithms for detecting associations, dynamical influences
A Control Systems Toolbox for Julia
A package for the sparse identification of nonlinear dynamical systems
The MATLAB toolbox for MEG, EEG and iEEG analysis
TLC is an explicit state model checker for specifications in TLA+
Library for the numerical simulation of closed as well as open quantum
Data driven modeling and automated discovery of dynamical systems
Open source free capture HTTP(S) traffic software ProxyPin
An easy-to-use, modular, extendable and absurdly fast Julia package
Numerical Bifurcation Analysis Toolbox in Matlab
Geodesic is a DevOps Linux Toolbox in Docker
Pre-built implicit layer architectures with O(1) backprop, GPUs
Attractor supports Weighted Argumentation with Dynamical Systems
ServerBox - server status & toolbox
Simulation of spiking neural networks (SNNs) using PyTorch
NMA Computational Neuroscience course
A collection of software installations scripts for Windows systems
State-of-the-art diffusion models for image and audio generation
QuTiP: Quantum Toolbox in Python
Convert AI papers to GUI
FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox
CFDTool - Easy to Use Computational Fluid Dynamics (CFD) Toolbox