AlgebraicJulia

Catlab.jl

A framework for applied category theory in the Julia language

AlgebraicPetri.jl

Build Petri net models compositionally

AlgebraicDynamics.jl

Building dynamical systems compositionally

StockFlow.jl

Decapodes.jl

A framework for composing and simulating multiphysics systems

CombinatorialSpaces.jl

Simplicial sets and other combinatorial models of geometric spaces

AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

Kittenlab.jl

A simplified Catlab.jl for teaching

ACSets.jl

ACSets: Algebraic databases as in-memory data structures

py-acsets

A Catlab-compatible implementation of acsets in python.

Poly.jl

Polynomial functors and applications

algebraicjulia.org

Landing page for AlgebraicJulia

ASKEM-demos

StructuredDecompositions.jl

Structured decompositions!

AlgebraicInterfaces.jl

An interface package for AlgebraicJulia

DiagrammaticEquations.jl

intertypes

AlgebraicOptimization.jl

CategoricalTensorNetworks.jl

Tensor networks from a categorical point of view

DataMigrations.jl

SyntacticModels.jl

Specifying models with syntax trees

acsets4j

InterTypes-compatible acsets for java

AlgebraicABMs.jl

Stochastic graph rewriting for agent based modeling

AlgebraicTemplate.jl

A template repository for making a new AlgebraicJulia package.

InterTypesTemplate.jl

a template for use of intertypes

pubs-database

A database of clean bibtex files

GATAS-website

Website for the GATAS lab at UF

DecapodesMeshes.jl

Meshes for Decapodes simulations

StateCharts.jl