Propietario
AlgebraicJulia
38 repositorios indexados · Ver en GitHub
-
Catlab.jl
A framework for applied category theory in the Julia language
Julia · 724 estrellas
-
Semagrams.jl
A graphical editor for graph-like structures
Scala · 108 estrellas
-
AlgebraicPetri.jl
Build Petri net models compositionally
Julia · 94 estrellas
-
Decapodes.jl
A framework for composing and simulating multiphysics systems
Julia · 91 estrellas
-
Julia · 82 estrellas
-
AlgebraicDynamics.jl
Building dynamical systems compositionally
Jupyter Notebook · 80 estrellas
-
CompTime.jl
Library for compile-time computing in julia
Julia · 73 estrellas
-
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Julia · 56 estrellas
-
CombinatorialSpaces.jl
Simplicial Sets and the Discrete Exterior Calculus
Julia · 46 estrellas
-
Petri.jl
A Petri net modeling framework for the Julia programming language
Julia · 44 estrellas
-
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Julia · 43 estrellas
-
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Julia · 41 estrellas
-
CliqueTrees.jl
A Julia library for computing tree decompositions and chordal completions of graphs.
Julia · 37 estrellas
-
ACSets.jl
ACSets: Algebraic databases as in-memory data structures
Julia · 36 estrellas
-
Julia · 20 estrellas
-
Julia · 20 estrellas
-
Structured-Epidemic-Modeling
Results and software for our paper on structured epidemic modeling
Jupyter Notebook · 16 estrellas
-
StructuredDecompositions.jl
Structured decompositions!
Julia · 15 estrellas
-
CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
Julia · 13 estrellas
-
ModelExploration.jl
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
Julia · 12 estrellas
- 18 repositorios más están en Ver en GitHub
-
Formulating Dynam IVPs as C-Sets Abierto
AlgebraicJulia/AlgebraicDynamics.jl#5 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Generation of stochastic models Abierto
AlgebraicJulia/AlgebraicDynamics.jl#38 · 23 comentarios · 1 reacción · 0 asignados ·
-
Machines and discrete systems Abierto
AlgebraicJulia/AlgebraicDynamics.jl#39 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#56 · 2 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#64 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#75 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#84 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#88 · 3 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#90 · 1 comentario · 0 reacciones · 0 asignados ·
-
Improving Instantaneous Machines Abierto
AlgebraicJulia/AlgebraicDynamics.jl#104 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#107 · 2 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#113 · 1 comentario · 0 reacciones · 0 asignados ·
-
Performance warning from SciML Abiertogood first issue performance
AlgebraicJulia/AlgebraicDynamics.jl#125 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#137 · 0 comentarios · 1 reacción · 0 asignados ·
-
CTLN
AlgebraicJulia/AlgebraicDynamics.jl#148 · 1 comentario · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicDynamics.jl#153 · 0 comentarios · 0 reacciones · 0 asignados ·
-
CTLN
AlgebraicJulia/AlgebraicDynamics.jl#154 · 0 comentarios · 0 reacciones · 0 asignados ·
-
CTLN good first issue
AlgebraicJulia/AlgebraicDynamics.jl#155 · 1 comentario · 0 reacciones · 1 asignado ·
-
question
AlgebraicJulia/AlgebraicRelations.jl#7 · 3 comentarios · 0 reacciones · 0 asignados ·
-
uniquify might could use gensym? Abierto
AlgebraicJulia/AlgebraicRelations.jl#9 · 1 comentario · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#10 · 2 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#11 · 0 comentarios · 2 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#12 · 2 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#18 · 4 comentarios · 1 reacción · 0 asignados ·
-
SqlStrings.jl for SQL generation Abierto
AlgebraicJulia/AlgebraicRelations.jl#21 · 1 comentario · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#33 · 0 comentarios · 2 reacciones · 0 asignados ·
-
Method Error in Notebook example Abierto
AlgebraicJulia/AlgebraicRelations.jl#34 · 3 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/AlgebraicRelations.jl#36 · 0 comentarios · 0 reacciones · 0 asignados ·
-
schema for schemas Abierto
AlgebraicJulia/AlgebraicRelations.jl#47 · 2 comentarios · 2 reacciones · 0 asignados ·
-
Documentation Abiertodocumentation
AlgebraicJulia/DataMigrations.jl#30 · 6 comentarios · 0 reacciones · 1 asignado ·
-
Gluc query syntax Abiertoenhancement
AlgebraicJulia/DataMigrations.jl#33 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Zero objects Abiertoenhancement
AlgebraicJulia/DataMigrations.jl#48 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Deprecate unary migration Abiertoquestion
AlgebraicJulia/DataMigrations.jl#49 · 1 comentario · 0 reacciones · 0 asignados ·
-
Deprecate :: Abiertoenhancement good first issue
AlgebraicJulia/DataMigrations.jl#50 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Make @julia_code fake macro Abiertoenhancement
AlgebraicJulia/DataMigrations.jl#51 · 0 comentarios · 0 reacciones · 0 asignados ·
-
enhancement
AlgebraicJulia/DataMigrations.jl#158 · 0 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/DataMigrations.jl#159 · 0 comentarios · 1 reacción · 0 asignados ·
-
enhancement
AlgebraicJulia/DataMigrations.jl#160 · 2 comentarios · 1 reacción · 0 asignados ·
-
Functoriality of data migrations Abiertoenhancement
AlgebraicJulia/DataMigrations.jl#165 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Filtering with a Migration Abierto
AlgebraicJulia/DataMigrations.jl#169 · 1 comentario · 0 reacciones · 0 asignados ·
-
Document @diagram Abiertodocumentation
AlgebraicJulia/DataMigrations.jl#173 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Annotating Decapodes with types Abierto
AlgebraicJulia/DiagrammaticEquations.jl#19 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Literals as variables Abierto
AlgebraicJulia/DiagrammaticEquations.jl#17 · 7 comentarios · 0 reacciones · 1 asignado ·
-
enhancement
AlgebraicJulia/DiagrammaticEquations.jl#24 · 2 comentarios · 0 reacciones · 1 asignado ·
-
AlgebraicJulia/DiagrammaticEquations.jl#25 · 1 comentario · 0 reacciones · 0 asignados ·
-
Convert all Unicode to Ascii Abierto
AlgebraicJulia/DiagrammaticEquations.jl#34 · 4 comentarios · 0 reacciones · 0 asignados ·
-
AlgebraicJulia/DiagrammaticEquations.jl#45 · 1 comentario · 0 reacciones · 0 asignados ·
-
Linting Abierto
AlgebraicJulia/DiagrammaticEquations.jl#50 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Constant Folding Abiertoenhancement
AlgebraicJulia/DiagrammaticEquations.jl#51 · 6 comentarios · 0 reacciones · 1 asignado ·
-
No-score type inference Abierto
AlgebraicJulia/DiagrammaticEquations.jl#55 · 0 comentarios · 0 reacciones · 0 asignados ·