Alternatives and similar repositories for modelcollab:

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

• AlgebraicJulia / StockFlow.jl
  ☆69Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆63Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 4 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated this week
• ToposInstitute / poly
  ☆113Updated 7 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆81Updated 4 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆22Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated 11 months ago
• mentat-collective / road-to-reality
  The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…
  ☆93Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last week
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• CategoricalData / hydra
  Transformations transformed
  ☆79Updated this week
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated this week
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 9 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆35Updated last week
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆44Updated last week
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆26Updated 3 months ago
• prologbyexample / code
  ☆28Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆11Updated last year