Repositories list

• Decapodes.jl

  Public
  A framework for composing and simulating multiphysics systems

  Julia

  •

  MIT License

  •16•69•32•8•Updated Jul 24, 2025Jul 24, 2025

• Catlab.jl

  Public
  A framework for applied category theory in the Julia language

  applied-category-theorycompositionalitystring-diagrams+ 3juliacategory-theorywiring-diagrams

  Julia

  •

  MIT License

  •58•666•135•27•Updated Jul 24, 2025Jul 24, 2025

• AlgebraicPetri.jl

  Public
  Build Petri net models compositionally

  mathchemistrypetri+ 1epidemiology

  Julia

  •

  MIT License

  •21•87•11•8•Updated Jul 23, 2025Jul 23, 2025

• CombinatorialSpaces.jl

  Public
  Simplicial Sets and the Discrete Exterior Calculus

  Julia

  •

  MIT License

  •5•38•26•13•Updated Jul 23, 2025Jul 23, 2025

• AlgebraicOptimization.jl

  Public
  Julia

  •

  MIT License

  •4•12•4•9•Updated Jul 22, 2025Jul 22, 2025

• CliqueTrees.jl

  Public
  A Julia library for computing tree decompositions and chordal completions of graphs.

  datastructuresgraphsjulia+ 2tree-decompositionsgraphs-algorithms

  Julia

  •

  MIT License

  •0•22•3•0•Updated Jul 18, 2025Jul 18, 2025

• DataMigrations.jl

  Public
  Julia

  •

  MIT License

  •1•5•12•4•Updated Jul 11, 2025Jul 11, 2025

• AlgebraicRewriting.jl

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

  category-theorydeclarative-programmingrewrite-systems

  Julia

  •

  MIT License

  •5•31•15•5•Updated Jul 10, 2025Jul 10, 2025

• GATlab.jl

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

  Julia

  •

  MIT License

  •2•31•40•10•Updated Jul 9, 2025Jul 9, 2025

• AlgebraicJuliaZoo.jl

  Public
  An example zoo of various ACT examples using AlgebraicJulia. Remember: don't feed the monoids!

  Julia

  •

  MIT License

  •0•2•0•0•Updated Jul 2, 2025Jul 2, 2025

• DiagrammaticEquations.jl

  Public
  Julia

  •

  MIT License

  •2•16•22•9•Updated Jun 12, 2025Jun 12, 2025

• AlgebraicABMs.jl

  Public
  Stochastic graph rewriting for agent based modeling

  Julia

  •

  MIT License

  •2•8•16•4•Updated Jun 9, 2025Jun 9, 2025

• AlgebraicRelations.jl

  Public
  Relational Algebra, now with more algebra!

  algebracategory-theoryrelational-databases+ 3algebraic-structuresrelational-algebrarelational

  Julia

  •

  MIT License

  •3•54•11•4•Updated Jun 9, 2025Jun 9, 2025

• GATAS-website

  Public
  Website for the GATAS lab at UF

  Julia

  •

  MIT License

  •1•0•5•4•Updated Jun 6, 2025Jun 6, 2025

• StateCharts.jl

  Public
  Julia

  •

  MIT License

  •0•2•0•4•Updated May 28, 2025May 28, 2025

• Presentations

  Public
  Presentations for the AlgebraicJulia and GATAS groups

  CSS

  •0•0•0•0•Updated May 12, 2025May 12, 2025

• ACSets.jl

  Public
  ACSets: Algebraic databases as in-memory data structures

  Julia

  •

  MIT License

  •9•25•42•6•Updated Apr 25, 2025Apr 25, 2025

• algebraicjulia.org

  Public
  Landing page for AlgebraicJulia

  JavaScript

  •

  MIT License

  •2•6•5•0•Updated Apr 14, 2025Apr 14, 2025

• StockFlow.jl

  Public
  Julia

  •

  MIT License

  •8•69•18•10•Updated Apr 12, 2025Apr 12, 2025

• StructuredDecompositions.jl

  Public
  Structured decompositions!

  Julia

  •

  MIT License

  •1•14•10•5•Updated Mar 26, 2025Mar 26, 2025

• .github

  Public
  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

  Shell

  •

  MIT License

  •0•0•2•0•Updated Mar 14, 2025Mar 14, 2025

• AlgebraicTemplate.jl

  Public template
  A template repository for making a new AlgebraicJulia package.

  Shell

  •

  MIT License

  •0•2•2•5•Updated Mar 5, 2025Mar 5, 2025

• AlgebraicWorkflows.jl

  Public
  Julia

  •

  MIT License

  •1•4•0•2•Updated Feb 22, 2025Feb 22, 2025

• CategoricalTensorNetworks.jl

  Public
  Tensor networks from a categorical point of view

  Julia

  •

  MIT License

  •1•5•0•0•Updated Feb 18, 2025Feb 18, 2025

• DecapodesMeshes.jl

  Public
  Meshes for Decapodes simulations

  Julia

  •

  MIT License

  •0•0•0•0•Updated Jan 23, 2025Jan 23, 2025

• quarto-website

  Public template
  A template for making a quarto website that deploys to Netlify

  JavaScript

  •

  MIT License

  •0•0•1•1•Updated Dec 14, 2024Dec 14, 2024

• AlgebraicDynamics.jl

  Public
  Building dynamical systems compositionally

  Jupyter Notebook

  •

  MIT License

  •13•72•14•12•Updated Oct 25, 2024Oct 25, 2024

• SyntacticModels.jl

  Public
  Specifying models with syntax trees

  Julia

  •

  MIT License

  •4•3•4•8•Updated Oct 25, 2024Oct 25, 2024

• Metatheory.jl

  Public
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Julia

  •

  MIT License

  •45•1•0•0•Updated Sep 3, 2024Sep 3, 2024

• Dtries.jl

  Public
  Directories in Julia

  Julia

  •0•2•0•0•Updated Aug 22, 2024Aug 22, 2024