AlgebraicContracts.jl Compositional contract-based design.
AlgebraicContracts.jl is a Julia library for adding contacts compositionally to AlgebraicDynamics.jl models. This library implements the algebra of contracts from ”Categorical Semantics of Cyber-Physical Systems Theory” and relies on Catlab.jl to build a computational interpretation of the categorical formalism.