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
- MathWebSearch Implementation☆48Updated 3 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- ☆11Updated 2 months ago
- Multiroom meeting app integrating web tools☆46Updated last year
- A semantic Extension of TeX/LaTeX☆55Updated 2 weeks ago
- A general purpose processing framework for corpora of scientific documents☆65Updated last week
- a datastructure for scalable combinatorial syntax☆19Updated 11 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated last week
- Hypergraph Rewriting System☆95Updated 3 months ago
- Wolfram Notebooks + LLMs☆103Updated last week
- Python implementation of the monster group☆57Updated 3 weeks ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- A Binder repo for SageMath computing environment☆37Updated this week
- A tool for proving and organizing general theorems using Python.☆31Updated last week
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- FreeTikZ☆41Updated 7 years ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated 3 weeks ago
- Logic Programming in Python☆31Updated 4 years ago
- source code for math gifs posted to twitter☆128Updated 5 years ago
- Mathematica packages for geometric algebra☆49Updated 8 months ago
- Lean-independent implementation of the MM-Lean link☆31Updated 3 years ago