Owner
AlgebraicJulia
38 indexierte Repositories · Auf GitHub ansehen
-
Catlab.jl
A framework for applied category theory in the Julia language
Julia · 724 Sterne
-
Semagrams.jl
A graphical editor for graph-like structures
Scala · 108 Sterne
-
AlgebraicPetri.jl
Build Petri net models compositionally
Julia · 94 Sterne
-
Decapodes.jl
A framework for composing and simulating multiphysics systems
Julia · 91 Sterne
-
Julia · 82 Sterne
-
AlgebraicDynamics.jl
Building dynamical systems compositionally
Jupyter Notebook · 80 Sterne
-
CompTime.jl
Library for compile-time computing in julia
Julia · 73 Sterne
-
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Julia · 56 Sterne
-
CombinatorialSpaces.jl
Simplicial Sets and the Discrete Exterior Calculus
Julia · 46 Sterne
-
Petri.jl
A Petri net modeling framework for the Julia programming language
Julia · 44 Sterne
-
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Julia · 43 Sterne
-
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Julia · 41 Sterne
-
CliqueTrees.jl
A Julia library for computing tree decompositions and chordal completions of graphs.
Julia · 37 Sterne
-
ACSets.jl
ACSets: Algebraic databases as in-memory data structures
Julia · 36 Sterne
-
Julia · 20 Sterne
-
Julia · 20 Sterne
-
Structured-Epidemic-Modeling
Results and software for our paper on structured epidemic modeling
Jupyter Notebook · 16 Sterne
-
StructuredDecompositions.jl
Structured decompositions!
Julia · 15 Sterne
-
CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
Julia · 13 Sterne
-
ModelExploration.jl
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
Julia · 12 Sterne
- 18 weitere Repositories liegen auf Auf GitHub ansehen
-
Plots for Presentation Offen
AlgebraicJulia/CombinatorialChains.jl#6 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/CombinatorialChains.jl#11 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Structured-Epidemic-Modeling#5 · 11 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Structured-Epidemic-Modeling#7 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
AlgebraicJulia/GraphicalLinearAlgebra.jl#3 · 15 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Add Metatheory interop Offen
AlgebraicJulia/GraphicalLinearAlgebra.jl#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
fix tests Offenbug
AlgebraicJulia/GraphicalLinearAlgebra.jl#5 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/ModelExploration.jl#2 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/ModelExploration.jl#3 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/ModelExploration.jl#4 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Demo.jl broken Offen
AlgebraicJulia/ModelExploration.jl#5 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/ModelExploration.jl#7 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Order pruning Offenenhancement
AlgebraicJulia/CSetAutomorphisms.jl#6 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/CSetAutomorphisms.jl#19 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Documentation Offendocumentation
AlgebraicJulia/CSetAutomorphisms.jl#20 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Compute with C-par Offenenhancement
AlgebraicJulia/CSetAutomorphisms.jl#24 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Target ModelingToolkit? Offenenhancement
AlgebraicJulia/Petri.jl#30 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Fix Pre-Julia v1.6 Tests Offenbug testing
AlgebraicJulia/Petri.jl#44 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug
AlgebraicJulia/CompTime.jl#9 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Semagrams.jl#9 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Support Wiring Diagrams Offenenhancement
AlgebraicJulia/Semagrams.jl#11 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Semagrams.jl#17 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Support outer ports Offenenhancement
AlgebraicJulia/Semagrams.jl#18 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
Automatic Layout Offenenhancement
AlgebraicJulia/Semagrams.jl#19 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Semagrams.jl#20 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
Palette of Boxes Offenenhancement
AlgebraicJulia/Semagrams.jl#21 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Slice Categories Offenenhancement
AlgebraicJulia/Semagrams.jl#22 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Record tutorial Offendocumentation
AlgebraicJulia/Semagrams.jl#27 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Outer Ports Offenenhancement
AlgebraicJulia/Semagrams.jl#30 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Semagrams.jl#32 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Add KaTeX labels Offen
AlgebraicJulia/Semagrams.jl#50 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#51 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#55 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#58 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Selenium tests Offen
AlgebraicJulia/Semagrams.jl#60 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#70 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#72 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#81 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#85 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
Style/naming guide Offen
AlgebraicJulia/Semagrams.jl#87 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
CSS Usage Offen
AlgebraicJulia/Semagrams.jl#88 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#91 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Upgrade to Laminar 15 Offen
AlgebraicJulia/Semagrams.jl#96 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#99 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
README out of date Offen
AlgebraicJulia/Semagrams.jl#103 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#111 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#114 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Copy-paste boxes Offen
AlgebraicJulia/Semagrams.jl#115 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Semagrams.jl#117 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
DWD - Port reordering Offen
AlgebraicJulia/Semagrams.jl#118 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·