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
-
Roadmap: GAT of GATs OffenGATs
AlgebraicJulia/Catlab.jl#165 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Functor types Offenenhancement
AlgebraicJulia/Catlab.jl#194 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug wiring diagrams
AlgebraicJulia/Catlab.jl#200 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement good first issue graphics
AlgebraicJulia/Catlab.jl#211 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue graphics graphs
AlgebraicJulia/Catlab.jl#213 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#222 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Permutation groupoid Offenenhancement
AlgebraicJulia/Catlab.jl#231 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#236 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement GATs good first issue
AlgebraicJulia/Catlab.jl#243 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
question
AlgebraicJulia/Catlab.jl#289 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#341 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
cleanup
AlgebraicJulia/Catlab.jl#360 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement GATs
AlgebraicJulia/Catlab.jl#366 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement GATs
AlgebraicJulia/Catlab.jl#386 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement good first issue
AlgebraicJulia/Catlab.jl#408 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#436 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Testing Functoriality Offen
AlgebraicJulia/Catlab.jl#445 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
README Spring Cleaning Offendocs
AlgebraicJulia/Catlab.jl#454 · 1 Kommentar · 3 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#471 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#473 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Exponentials in C-Set Offenacsets enhancement
AlgebraicJulia/Catlab.jl#474 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets performance
AlgebraicJulia/Catlab.jl#479 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#500 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
wiring diagrams
AlgebraicJulia/Catlab.jl#501 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
docs good first issue graphics
AlgebraicJulia/Catlab.jl#516 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#517 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug wiring diagrams
AlgebraicJulia/Catlab.jl#530 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets
AlgebraicJulia/Catlab.jl#539 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement GATs good first issue
AlgebraicJulia/Catlab.jl#546 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Exponentials in FinSet Offenenhancement good first issue
AlgebraicJulia/Catlab.jl#554 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets performance
AlgebraicJulia/Catlab.jl#556 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
docs
AlgebraicJulia/Catlab.jl#564 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
enhancement good first issue graphics wiring diagrams
AlgebraicJulia/Catlab.jl#565 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#574 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#577 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#578 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#581 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
AlgebraicJulia/Catlab.jl#586 · 6 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
enhancement graphics
AlgebraicJulia/Catlab.jl#587 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#608 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#644 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#647 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/Catlab.jl#653 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement question
AlgebraicJulia/Catlab.jl#658 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
bug wiring diagrams
AlgebraicJulia/Catlab.jl#672 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets enhancement
AlgebraicJulia/Catlab.jl#678 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Make Developer Docs Offendocs
AlgebraicJulia/Catlab.jl#686 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
acsets cleanup
AlgebraicJulia/Catlab.jl#687 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement wiring diagrams
AlgebraicJulia/Catlab.jl#690 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
acsets cleanup
AlgebraicJulia/Catlab.jl#706 · 1 Kommentar · 0 Reaktionen · 2 zugewiesene Personen ·