Core algebraic abstractions: Semigroup, Monoid, Group, Semilattice traits, plus fixed-point types (Fix, fold) for recursion schemes.
Derive macros for automatically implementing algebraic traits.
Automatic differentiation: forward-mode and reverse-mode AD with support for single-variable and multivariable functions.
Lattice-based state library: concrete lattice types, LVars, MVars, CRDTs, and stream extensions built on algebra-core.