AlgebraicJulia aims to create novel approaches to scientific computing based on applied category theory, and constitutes an ecosystem of software based on generalized algebra and category theory in Julia.
Catlab.jl
v1.0.0
AlgebraicPetri.jl
AlgebraicRelations.jl
AlgebraicDynamics.jl
CombinatorialSpaces.jl