Owner
AlgebraicJulia
38 indexed repositories · View on GitHub
-
Catlab.jl
A framework for applied category theory in the Julia language
Julia · 724 stars
-
Semagrams.jl
A graphical editor for graph-like structures
Scala · 108 stars
-
AlgebraicPetri.jl
Build Petri net models compositionally
Julia · 94 stars
-
Decapodes.jl
A framework for composing and simulating multiphysics systems
Julia · 91 stars
-
Julia · 82 stars
-
AlgebraicDynamics.jl
Building dynamical systems compositionally
Jupyter Notebook · 80 stars
-
CompTime.jl
Library for compile-time computing in julia
Julia · 73 stars
-
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Julia · 56 stars
-
CombinatorialSpaces.jl
Simplicial Sets and the Discrete Exterior Calculus
Julia · 46 stars
-
Petri.jl
A Petri net modeling framework for the Julia programming language
Julia · 44 stars
-
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Julia · 43 stars
-
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Julia · 41 stars
-
CliqueTrees.jl
A Julia library for computing tree decompositions and chordal completions of graphs.
Julia · 37 stars
-
ACSets.jl
ACSets: Algebraic databases as in-memory data structures
Julia · 36 stars
-
Julia · 20 stars
-
Julia · 20 stars
-
Structured-Epidemic-Modeling
Results and software for our paper on structured epidemic modeling
Jupyter Notebook · 16 stars
-
StructuredDecompositions.jl
Structured decompositions!
Julia · 15 stars
-
CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
Julia · 13 stars
-
ModelExploration.jl
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
Julia · 12 stars
- 18 more repositories live on View on GitHub
-
AlgebraicJulia/StructuredDecompositions.jl#37 · 1 comment · 0 reactions · 1 assignee ·
-
AlgebraicJulia/StructuredDecompositions.jl#40 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/StructuredDecompositions.jl#41 · 2 comments · 0 reactions · 2 assignees ·
-
AlgebraicJulia/StructuredDecompositions.jl#42 · 1 comment · 0 reactions · 1 assignee ·
-
AlgebraicJulia/StructuredDecompositions.jl#44 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/StructuredDecompositions.jl#45 · 3 comments · 0 reactions · 1 assignee ·
-
Food Webs Open
AlgebraicJulia/AlgebraicPetri.jl#8 · 1 comment · 1 reaction · 0 assignees ·
-
documentation
AlgebraicJulia/AlgebraicPetri.jl#68 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
AlgebraicJulia/AlgebraicPetri.jl#72 · 1 comment · 0 reactions · 1 assignee ·
-
integration
AlgebraicJulia/AlgebraicPetri.jl#111 · 3 comments · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicPetri.jl#152 · 1 comment · 0 reactions · 0 assignees ·
-
bug
AlgebraicJulia/AlgebraicPetri.jl#162 · 11 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicPetri.jl#166 · 3 comments · 0 reactions · 1 assignee ·
-
bug
AlgebraicJulia/AlgebraicPetri.jl#175 · 1 comment · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicPetri.jl#176 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicPetri.jl#178 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicPetri.jl#179 · 3 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicPetri.jl#182 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
AlgebraicJulia/AlgebraicABMs.jl#10 · 1 comment · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicABMs.jl#11 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#12 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#13 · 0 comments · 0 reactions · 0 assignees ·
-
Dimensions / units Open
AlgebraicJulia/AlgebraicABMs.jl#14 · 0 comments · 0 reactions · 0 assignees ·
-
Interventions Open
AlgebraicJulia/AlgebraicABMs.jl#15 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#16 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#17 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
AlgebraicJulia/AlgebraicABMs.jl#18 · 2 comments · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicABMs.jl#19 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#20 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#21 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#22 · 5 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#24 · 2 comments · 1 reaction · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#32 · 1 comment · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicABMs.jl#39 · 5 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicABMs.jl#46 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicControl.jl#2 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/WiringDiagrams.jl#1 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/GraphsTreewidth.jl#1 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/TraitInterfaces.jl#4 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
AlgebraicJulia/TraitInterfaces.jl#5 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/TraitInterfaces.jl#6 · 0 comments · 0 reactions · 1 assignee ·
-
bug
AlgebraicJulia/.github#8 · 2 comments · 0 reactions · 1 assignee ·
-
AlgebraicJulia/.github#11 · 0 comments · 0 reactions · 1 assignee ·
-
Deprecated Actions Open
AlgebraicJulia/.github#17 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement help wanted
AlgebraicJulia/AlgebraicOptimization.jl#40 · 0 comments · 0 reactions · 1 assignee ·
-
AlgebraicJulia/AlgebraicOptimization.jl#43 · 0 comments · 0 reactions · 0 assignees ·
-
AlgebraicJulia/AlgebraicOptimization.jl#44 · 0 comments · 0 reactions · 0 assignees ·
-
👀 Open
AlgebraicJulia/AlgebraicOptimization.jl#46 · 0 comments · 0 reactions · 1 assignee ·
-
Roadmap Open
AlgebraicJulia/TemporalData.jl#1 · 1 comment · 0 reactions · 0 assignees ·
-
AlgebraicJulia/TemporalData.jl#4 · 4 comments · 0 reactions · 1 assignee ·