AlgebraicJulia

All

60 repositories

CliqueTrees.jl
Public
A Julia library for computing tree decompositions and chordal completions of graphs.
datastructures graphs julia linear-algebra matrices factorization tree-decompositions graphs-algorithms
Julia
•
MIT License
•1•27•4•0•Updated Oct 16, 2025Oct 16, 2025
GATAS-website
Public
Website for the GATAS lab at UF
Julia
•
MIT License
•1•0•5•5•Updated Oct 15, 2025Oct 15, 2025
Catlab.jl
Public
A framework for applied category theory in the Julia language
julia category-theory applied-category-theory compositionality wiring-diagrams string-diagrams
Julia
•
MIT License
•58•678•139•27•Updated Oct 15, 2025Oct 15, 2025
ACSets.jl
Public
ACSets: Algebraic databases as in-memory data structures
Julia
•
MIT License
•9•26•43•8•Updated Oct 15, 2025Oct 15, 2025
AlgebraicDynamics.jl
Public
Building dynamical systems compositionally
Jupyter Notebook
•
MIT License
•13•73•15•12•Updated Oct 14, 2025Oct 14, 2025
StockFlow.jl
Public
Julia
•
MIT License
•9•72•18•14•Updated Oct 4, 2025Oct 4, 2025
AlgebraicRewriting.jl
Public
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
category-theory declarative-programming rewrite-systems
Julia
•
MIT License
•5•32•15•6•Updated Oct 4, 2025Oct 4, 2025
CombinatorialSpaces.jl
Public
Simplicial Sets and the Discrete Exterior Calculus
Julia
•
MIT License
•5•39•25•12•Updated Oct 4, 2025Oct 4, 2025
CellularSheaves.jl
Public
A library for working with cellular sheaves and sheaf Laplacians.
Julia
•
MIT License
•0•2•0•0•Updated Oct 3, 2025Oct 3, 2025
AlgebraicOptimization.jl
Public
Julia
•
MIT License
•4•15•4•10•Updated Oct 3, 2025Oct 3, 2025
DiagrammaticEquations.jl
Public
Julia
•
MIT License
•2•16•22•11•Updated Sep 27, 2025Sep 27, 2025
quarto-website
Public template
A template for making a quarto website that deploys to Netlify
JavaScript
•
MIT License
•0•0•0•0•Updated Sep 25, 2025Sep 25, 2025
AlgebraicControl.jl
Public
Optimal control compositionally
Julia
•
MIT License
•1•9•1•1•Updated Sep 23, 2025Sep 23, 2025
AlgebraicRelations.jl
Public
Relational Algebra, now with more algebra!
algebra category-theory relational-databases algebraic-structures relational-algebra relational
Julia
•
MIT License
•3•55•11•6•Updated Sep 14, 2025Sep 14, 2025
Decapodes.jl
Public
A framework for composing and simulating multiphysics systems
Julia
•
MIT License
•16•75•33•8•Updated Sep 8, 2025Sep 8, 2025
AlgebraicJuliaZoo.jl
Public
An example zoo of various ACT examples using AlgebraicJulia. Remember: don't feed the monoids!
Julia
•
MIT License
•0•3•0•0•Updated Sep 3, 2025Sep 3, 2025
AlgebraicABMs.jl
Public
Stochastic graph rewriting for agent based modeling
Julia
•
MIT License
•3•8•16•5•Updated Aug 30, 2025Aug 30, 2025
AlgebraicPetri.jl
Public
Build Petri net models compositionally
math chemistry petri epidemiology
Julia
•
MIT License
•21•87•11•7•Updated Aug 27, 2025Aug 27, 2025
TraitInterfaces.jl
Public
Declare explicit interfaces
Julia
•
MIT License
•0•4•2•1•Updated Aug 15, 2025Aug 15, 2025
GATlab.jl
Public
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Julia
•
MIT License
•2•34•40•11•Updated Aug 2, 2025Aug 2, 2025
DataMigrations.jl
Public
Julia
•
MIT License
•1•5•12•5•Updated Aug 1, 2025Aug 1, 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•1•Updated Jul 25, 2025Jul 25, 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
algebraicjulia.org
Public
Landing page for AlgebraicJulia
JavaScript
•
MIT License
•2•6•5•0•Updated Apr 14, 2025Apr 14, 2025
StructuredDecompositions.jl
Public
Structured decompositions!
Julia
•
MIT License
•1•14•10•5•Updated Mar 26, 2025Mar 26, 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