Alternatives and similar repositories for notate-jupyter:

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

• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated 2 weeks ago
• ATOMSLab / LeanChemicalTheories
  ☆32Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• eschmidgall / qasm2circ
  I. Chuang's qasm2circ library, modified to include a run-all script that works on Windows and to have the main qasm2tex.py script work as…
  ☆15Updated 8 years ago
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated 4 months ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆71Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆19Updated 3 weeks ago
• sagemathinc / cocalc-desktop
  This is the CoCalc Electron desktop application.
  ☆16Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆90Updated last week
• BBN-Q / QGL
  Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.
  ☆32Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆113Updated 6 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• embray / gappy
  Python interface to GAP
  ☆16Updated 10 months ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆55Updated 6 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆63Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆27Updated last week
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆35Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 6 months ago