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
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆74Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆70Updated 6 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 2 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated this week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆53Updated this week
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆83Updated 6 months ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆23Updated 3 weeks ago
• ToposInstitute / poly
  ☆114Updated 10 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆35Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆16Updated 5 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 11 months ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 5 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆50Updated last week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• samuelsonric / AlgebraicInference.jl
  Bayesian inference on wiring diagrams.
  ☆18Updated last year
• zenna / CausalDiscovery.jl
  ☆9Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 6 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 9 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆64Updated this week
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• mattecapu / categorical-systems-theory
  ☆40Updated 2 weeks ago
• Herb-AI / HerbSWIPL.jl
  Julia wrapper around SWI Prolog
  ☆13Updated 3 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆13Updated last month