Alternatives and similar repositories for notate-jupyter:

Users that are interested in notate-jupyter are comparing it to the libraries listed below

• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆71Updated 11 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 4 months ago
• bjodah / sym
  Unified interface to symbolic manipulation libraries in Python
  ☆9Updated last month
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 3 weeks ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 5 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆61Updated this week
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆89Updated this week
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last month
• punkdit / huygens
  ☆10Updated this week
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated last month
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 3 months ago
• LSaldyt / Qurry
  Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…
  ☆26Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• sagemathinc / cocalc-desktop
  This is the CoCalc Electron desktop application.
  ☆16Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆68Updated this week
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆35Updated 3 weeks ago