A framework for applied category theory in the Julia language

A graphical editor for graph-like structures

Build Petri net models compositionally

Library for compile-time computing in julia

Building dynamical systems compositionally

-

Relational Algebra, now with more algebra!

A framework for composing and simulating multiphysics systems

A Petri net modeling framework for the Julia programming language

Simplicial sets and other combinatorial models of geometric spaces

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

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

ACSets: Algebraic databases as in-memory data structures

Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures

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

Polynomial functors and applications

Regulatory networks

-

Structured decompositions!

Theories of linear algebra and graphical linear algebra

Optimal control compositionally

-

An interface package for AlgebraicJulia

Specifying models with syntax trees

-

Tests that follow directly after functions