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
-
enhancement
AlgebraicJulia/DiagrammaticEquations.jl#59 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/DiagrammaticEquations.jl#61 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Multi-species Klausmeier Offen
AlgebraicJulia/DiagrammaticEquations.jl#63 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Move away from symbols Offen
AlgebraicJulia/DiagrammaticEquations.jl#66 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/DiagrammaticEquations.jl#77 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/DiagrammaticEquations.jl#81 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
documentation enhancement good first issue
AlgebraicJulia/DiagrammaticEquations.jl#95 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/DiagrammaticEquations.jl#101 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
egglog Offen
AlgebraicJulia/DiagrammaticEquations.jl#115 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/DiagrammaticEquations.jl#121 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/DiagrammaticEquations.jl#124 · 0 Kommentare · 1 Reaktion · 2 zugewiesene Personen ·
-
AlgebraicJulia/DiagrammaticEquations.jl#134 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Generic rewriting Offenenhancement GATs
AlgebraicJulia/Catlab.jl#2 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement GATs
AlgebraicJulia/Catlab.jl#3 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Equality expressions Offenenhancement GATs
AlgebraicJulia/Catlab.jl#9 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement graphics
AlgebraicJulia/Catlab.jl#12 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#15 · 6 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement graphics
AlgebraicJulia/Catlab.jl#25 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
AlgebraicJulia/Catlab.jl#36 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
docs good first issue
AlgebraicJulia/Catlab.jl#48 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
question wiring diagrams
AlgebraicJulia/Catlab.jl#58 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
docs
AlgebraicJulia/Catlab.jl#61 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
graphics
AlgebraicJulia/Catlab.jl#71 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement graphics
AlgebraicJulia/Catlab.jl#72 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
graphics
AlgebraicJulia/Catlab.jl#73 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
AlgebraicJulia/Catlab.jl#78 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#80 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
AlgebraicJulia/Catlab.jl#82 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
GATs
AlgebraicJulia/Catlab.jl#90 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#94 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#96 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement graphics wiring diagrams
AlgebraicJulia/Catlab.jl#99 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
GATs question
AlgebraicJulia/Catlab.jl#101 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#103 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#107 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#108 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
wiring diagrams
AlgebraicJulia/Catlab.jl#116 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
GATs
AlgebraicJulia/Catlab.jl#131 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#133 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
bug GATs
AlgebraicJulia/Catlab.jl#135 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug
AlgebraicJulia/Catlab.jl#136 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
docs good first issue
AlgebraicJulia/Catlab.jl#138 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Lenses Offenenhancement question
AlgebraicJulia/Catlab.jl#139 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
performance
AlgebraicJulia/Catlab.jl#142 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue graphics wiring diagrams
AlgebraicJulia/Catlab.jl#145 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#150 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
wiring diagrams
AlgebraicJulia/Catlab.jl#153 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
AlgebraicJulia/Catlab.jl#154 · 6 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Markov Experiment Offen
AlgebraicJulia/Catlab.jl#155 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
graphics
AlgebraicJulia/Catlab.jl#163 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·