Useful semigroup trait
Useful semigroup trait
Bismut-Elworthy-Li weight synthesis for elworthy.
Functors, Applicatives, Monads and other bad ideas
Custom derives for `higher`
Derive macros for algebraic law verification in the Industrial Algebra ecosystem
Datalog with equality
Datalog with equality
Datalog with equality
External prover bridge and trust model for the Industrial Algebra ecosystem
Pragmatic effect composition and validation for Rust - pure core, imperative shell
Standard prelude re-exports for the Karpal ecosystem