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 week
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆73Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 6 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated this week
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 5 months ago
• ToposInstitute / poly
  ☆113Updated 9 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 6 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• CategoricalData / hydra
  Graph programming language
  ☆82Updated last week
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 11 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆240Updated 4 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 10 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆201Updated last week
• mattecapu / categorical-systems-theory
  ☆40Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆102Updated 6 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 8 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆93Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆23Updated this week
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago