16 Packages since 2017
User Packages

AlgebraicControl.jl5Optimal control compositionally

AlgebraicInterfaces.jl5Interfaces as structs

GraphicalLinearAlgebra.jl6Theories of linear algebra and graphical linear algebra

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

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

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

CombinatorialSpaces.jl20Simplicial sets and other combinatorial models of geometric spaces

StockFlow.jl29

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

AlgebraicRelations.jl41Relational Algebra, now with more algebra!

AlgebraicDynamics.jl45Building dynamical systems compositionally

CompTime.jl62Library for compiletime computing in julia

AlgebraicPetri.jl64Build Petri net models compositionally

Semagrams.jl75A graphical editor for graphlike structures

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