Property-based algebraic law testing for Python: ready-made Hypothesis law suites for semigroups, monoids, functors, applicatives, and monads, with a pluggable equality oracle.
Compositional algebra over fixed-width quaternionic-symbolic state packets. A monoid (closed, associative, with two-sided identity) plus empirical topology preservation. MIT licensed.
