Pinned Repositories
ACSets.jl
ACSets: Algebraic databases as in-memory data structures
AlgebraicDynamics.jl
Building dynamical systems compositionally
AlgebraicPetri.jl
Build Petri net models compositionally
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Catlab.jl
A framework for applied category theory in the Julia language
CompTime.jl
Library for compile-time computing in julia
Decapodes.jl
A framework for composing and simulating multiphysics systems
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Semagrams.jl
A graphical editor for graph-like structures
StockFlow.jl
AlgebraicJulia's Repositories
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
AlgebraicJulia/AlgebraicPetri.jl
Build Petri net models compositionally
AlgebraicJulia/AlgebraicDynamics.jl
Building dynamical systems compositionally
AlgebraicJulia/StockFlow.jl
AlgebraicJulia/Decapodes.jl
A framework for composing and simulating multiphysics systems
AlgebraicJulia/AlgebraicRelations.jl
Relational Algebra, now with more algebra!
AlgebraicJulia/CombinatorialSpaces.jl
Simplicial sets and other combinatorial models of geometric spaces
AlgebraicJulia/AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
AlgebraicJulia/GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
AlgebraicJulia/ACSets.jl
ACSets: Algebraic databases as in-memory data structures
AlgebraicJulia/DiagrammaticEquations.jl
AlgebraicJulia/Kittenlab.jl
A simplified Catlab.jl for teaching
AlgebraicJulia/StructuredDecompositions.jl
Structured decompositions!
AlgebraicJulia/algebraicjulia.org
Landing page for AlgebraicJulia
AlgebraicJulia/AlgebraicOptimization.jl
AlgebraicJulia/AlgebraicABMs.jl
Stochastic graph rewriting for agent based modeling
AlgebraicJulia/AlgebraicInterfaces.jl
An interface package for AlgebraicJulia
AlgebraicJulia/SyntacticModels.jl
Specifying models with syntax trees
AlgebraicJulia/AssociatedTests.jl
Tests that follow directly after functions
AlgebraicJulia/DataMigrations.jl
AlgebraicJulia/Dtries.jl
Directories in Julia
AlgebraicJulia/StateCharts.jl
AlgebraicJulia/AlgebraicTemplate.jl
A template repository for making a new AlgebraicJulia package.
AlgebraicJulia/Metatheory.jl
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.
AlgebraicJulia/pubs-database
A database of clean bibtex files
AlgebraicJulia/quarto-website
A template for making a quarto website that deploys to Netlify
AlgebraicJulia/GATAS-website
Website for the GATAS lab at UF
AlgebraicJulia/.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
AlgebraicJulia/DecapodesMeshes.jl
Meshes for Decapodes simulations
AlgebraicJulia/Presentations
Presentations for the AlgebraicJulia and GATAS groups