AlgebraicJulia

Catlab.jl

A framework for applied category theory in the Julia language

Semagrams.jl

A graphical editor for graph-like structures

AlgebraicPetri.jl

Build Petri net models compositionally

CompTime.jl

Library for compile-time computing in julia

AlgebraicDynamics.jl

Building dynamical systems compositionally

StockFlow.jl

Petri.jl

A Petri net modeling framework for the Julia programming language

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)

py-acsets

A Catlab-compatible implementation of acsets in python.

Poly.jl

Polynomial functors and applications

RegNets.jl

Regulatory networks

ACSets.jl

ACSets: Algebraic databases as in-memory data structures

algebraicjulia.org

Landing page for AlgebraicJulia

StructuredDecompositions.jl

Structured decompositions!

AlgebraicInterfaces.jl

An interface package for AlgebraicJulia

intertypes

DiagrammaticEquations.jl

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

AlgebraicTemplate.jl

A template repository for making a new AlgebraicJulia package.

pubs-database

A database of clean bibtex files

GATAS-website

Website for the GATAS lab at UF

.github

Organization-wide .github actions and other metadata. See https://docs.github.com/en/github/building-a-strong-community/creating-a-default-community-health-file for details on how this repo works

EnzymeKinetics

Development repository for modeling enzyme kinetics with AlgebraicPetri.