TLC is an explicit state model checker for specifications in TLA+
Library for the numerical simulation of closed as well as open quantum
Geodesic is a DevOps Linux Toolbox in Docker
ServerBox - server status & toolbox
Toolboxes for parameter continuation and bifurcation analysis.
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
A suite of RPN calculators and a class library for Object Pascal
An all-purpose toolbox app that connect everything
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
One article per week, the content is concise, neither salty nor light
IMU Allan standard deviation charts
Learning Stochastic Discrete Event Systems