2 projects
ruledsl
Python binding, desktop workbench (authoring & replay companion), and MCP server (optional [mcp] extra) for the RuleDSL deterministic rule engine. The engine library ships separately via GitHub Releases.
organon-mueller
Symbolic engine for the Stokes-Mueller algebra of polarization optics: Mueller-matrix decomposition, certified identity discovery (equality saturation + exact symbolic proof), coupled-dipole modelling, and evidence-labelled LaTeX reporting.