Software

Our research ships as software. These packages are open source and developed in collaboration with the AlgebraicJulia team, including Evan Patterson’s group at the Topos Institute. The names on each are the lab members, past and present, who work on it.

Decapodes.jl

Compose and simulate multiphysics systems from diagrams of PDEs.

Luke MorrisGeorge RautaMatt CuffaroJames Fairbanks

SourceDocs

CellularSheaves.jl

Cellular sheaves and sheaf Laplacians, used for multi-agent coordination.

James FairbanksTyler HanksItay Kadosh

SourceDocs

AlgebraicOptimization.jl

Compositional optimization: assemble large problems from small ones.

Tyler HanksSamuel CohenTrevor Gross

SourceDocs

AlgebraicControl.jl

Optimal control, compositionally.

Tyler Hanks

Source

CliqueTrees.jl

Tree decompositions and chordal completions, underpinning sparse linear solves.

Richard Samuelson

SourceDocs

StructuredDecompositions.jl

Structured decompositions for compositional algorithms on graphs.

Benjamin Merlin BumpusRichard Samuelson

SourceDocs

Catlab.jl

The applied category theory framework the rest of the ecosystem builds on.

Kris BrownMicah HalterJames FairbanksMatt Cuffaro

SourceDocs

CombinatorialSpaces.jl

Simplicial sets and the discrete exterior calculus.

Luke MorrisGeorge Rauta

Source

AlgebraicDynamics.jl

Building dynamical systems compositionally.

James FairbanksMatt CuffaroTyler HanksJoana Bou BarceloWilmer Leal

SourceDocs

ACSets.jl

Algebraic databases as in-memory data structures.

Kris BrownLuke MorrisMatt CuffaroJames Fairbanks

SourceDocs

GATlab.jl

A computer algebra system based on generalized algebraic theories.

Kris BrownMatt Cuffaro

SourceDocs

AlgebraicPetri.jl

Build Petri net models compositionally.

Micah HalterJames Fairbanks

SourceDocs