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