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/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/Kittenlab.jl
A simplified Catlab.jl for teaching
AlgebraicJulia/py-acsets
A Catlab-compatible implementation of acsets in python.
AlgebraicJulia/Poly.jl
Polynomial functors and applications
AlgebraicJulia/algebraicjulia.org
Landing page for AlgebraicJulia
AlgebraicJulia/ASKEM-demos
AlgebraicJulia/StructuredDecompositions.jl
Structured decompositions!
AlgebraicJulia/AlgebraicInterfaces.jl
An interface package for AlgebraicJulia
AlgebraicJulia/DiagrammaticEquations.jl
AlgebraicJulia/intertypes
AlgebraicJulia/AlgebraicOptimization.jl
AlgebraicJulia/CategoricalTensorNetworks.jl
Tensor networks from a categorical point of view
AlgebraicJulia/DataMigrations.jl
AlgebraicJulia/SyntacticModels.jl
Specifying models with syntax trees
AlgebraicJulia/acsets4j
InterTypes-compatible acsets for java
AlgebraicJulia/AlgebraicABMs.jl
Stochastic graph rewriting for agent based modeling
AlgebraicJulia/AlgebraicTemplate.jl
A template repository for making a new AlgebraicJulia package.
AlgebraicJulia/InterTypesTemplate.jl
a template for use of intertypes
AlgebraicJulia/pubs-database
A database of clean bibtex files
AlgebraicJulia/GATAS-website
Website for the GATAS lab at UF
AlgebraicJulia/DecapodesMeshes.jl
Meshes for Decapodes simulations
AlgebraicJulia/StateCharts.jl