16 Packages since 2017
User Packages

AlgebraicControl.jl5Optimal control compositionally

AlgebraicInterfaces.jl5Interfaces as structs

AlgebraicRewriting.jl12Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

CompTime.jl62Library for compiletime computing in julia

ModelExploration.jl11Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.

GraphicalLinearAlgebra.jl6Theories of linear algebra and graphical linear algebra

CSetAutomorphisms.jl12Automorphism groups for CSets  generalizing the nauty algorithm to a broad class of data structures

Decapodes.jl19A framework for composing and simulating multiphysics systems

StockFlow.jl29

Semagrams.jl75A graphical editor for graphlike structures

CombinatorialSpaces.jl20Simplicial sets and other combinatorial models of geometric spaces

AlgebraicPetri.jl64Build Petri net models compositionally

AlgebraicRelations.jl41Relational Algebra, now with more algebra!

AlgebraicDynamics.jl45Building dynamical systems compositionally

Petri.jl32A Petri net modeling framework for the Julia programming language

Catlab.jl523A framework for applied category theory in the Julia language
View all packages