ianarawjo / notate-jupyterLinks
Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
☆37Updated 3 years ago
Alternatives and similar repositories for notate-jupyter
Users that are interested in notate-jupyter are comparing it to the libraries listed below
Sorting:
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Metamath verifier in Python☆40Updated 5 months ago
- Hypergraph Rewriting System☆83Updated 3 weeks ago
- Wolfram Notebooks + LLMs☆101Updated this week
- FreeTikZ☆40Updated 7 years ago
- Mathematica packages for geometric algebra☆49Updated 6 months ago
- Python implementation of the monster group☆54Updated last week
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated last week
- 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…☆16Updated 8 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- ☆75Updated last month
- A Binder repo for SageMath computing environment☆33Updated last week
- Quantum information theory in Lean 4☆75Updated last week
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A database app for ring theory☆22Updated 2 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆95Updated last month
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Quantomatic is a tool for doing automated graph rewriting.☆166Updated 6 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Building dynamical systems compositionally☆73Updated 3 weeks ago