Alternatives and similar repositories for modelcollab

Users that are interested in modelcollab are comparing it to the libraries listed below

• AlgebraicJulia / StockFlow.jl
  ☆69Updated 2 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆71Updated 8 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆79Updated this week
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated 2 weeks ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆84Updated 8 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• ToposInstitute / poly
  ☆115Updated 11 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆25Updated 2 months ago
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated last month
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆37Updated this week
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 years ago
• jpfairbanks / SemanticModels.jl
  A julia package for representing and manipulating model semantics
  ☆77Updated 4 years ago
• nicolaspayette / NetLogo.jl
  A Julia package for controlling NetLogo
  ☆10Updated 6 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆29Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆48Updated last year
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆25Updated 3 years ago
• agentultra / lean-4-hackers
  ☆17Updated 3 years ago
• ToposInstitute / RelationalThinking-Book
  ☆12Updated 8 months ago
• samuelsonric / AlgebraicInference.jl
  Bayesian inference on wiring diagrams.
  ☆18Updated last year