オーナー

AlgebraicJulia

索引済みのリポジトリ 38 件 · GitHub で見る

• Catlab.jl

  A framework for applied category theory in the Julia language

  Julia · スター 724 個

• Semagrams.jl

  A graphical editor for graph-like structures

  Scala · スター 108 個

• AlgebraicPetri.jl

  Build Petri net models compositionally

  Julia · スター 94 個

• Decapodes.jl

  A framework for composing and simulating multiphysics systems

  Julia · スター 91 個

• StockFlow.jl

  Julia · スター 82 個

• AlgebraicDynamics.jl

  Building dynamical systems compositionally

  Jupyter Notebook · スター 80 個

• CompTime.jl

  Library for compile-time computing in julia

  Julia · スター 73 個

• AlgebraicRelations.jl

  Relational Algebra, now with more algebra!

  Julia · スター 56 個

• CombinatorialSpaces.jl

  Simplicial Sets and the Discrete Exterior Calculus

  Julia · スター 46 個

• Petri.jl

  A Petri net modeling framework for the Julia programming language

  Julia · スター 44 個

• GATlab.jl

  GATlab: a computer algebra system based on generalized algebraic theories (GATs)

  Julia · スター 43 個

• AlgebraicRewriting.jl

  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

  Julia · スター 41 個

• CliqueTrees.jl

  A Julia library for computing tree decompositions and chordal completions of graphs.

  Julia · スター 37 個

• ACSets.jl

  ACSets: Algebraic databases as in-memory data structures

  Julia · スター 36 個

• AlgebraicOptimization.jl

  Julia · スター 20 個

• DiagrammaticEquations.jl

  Julia · スター 20 個

• Structured-Epidemic-Modeling

  Results and software for our paper on structured epidemic modeling

  Jupyter Notebook · スター 16 個

• StructuredDecompositions.jl

  Structured decompositions!

  Julia · スター 15 個

• CSetAutomorphisms.jl

  Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures

  Julia · スター 13 個

• ModelExploration.jl

  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.

  Julia · スター 12 個

• ほか 18 件のリポジトリは GitHub で見る にあります