AlgebraicJulia is an ecosystem of software tools written in Julia to explore and promote the application of algebraic methods in computer science and scientific computing.
SemanticModels.jl is a package for representing scientific models at the semantic level to enable augmented scientific reasoning. It applies techniques from applied category theory to build mathematical models of scientific modeling practices.