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
- Sample projects for Quantomatic☆12Updated 5 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Hypergraph Rewriting System☆92Updated last month
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆54Updated 2 years ago
- Wolfram Notebooks + LLMs☆102Updated this week
- A semantic Extension of TeX/LaTeX☆54Updated last month
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- Logic Programming in Python☆31Updated 4 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…☆22Updated this week
- Python implementation of the monster group☆55Updated last week
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- FreeTikZ☆41Updated 7 years 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 curated list of Wolfram Language packages and resources.☆40Updated 11 months ago
- ☆75Updated 2 months ago
- List of links of techniques to help enhance mathematical notation☆191Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- A Binder repo for SageMath computing environment☆33Updated last week
- Formalizing results about the Mandelbrot set in Lean☆27Updated last week
- A database app for ring theory☆22Updated last week
- VSCode Extension - Proof Assistant for Metamath☆12Updated last month
- A general purpose processing framework for corpora of scientific documents☆65Updated last week
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 7 months ago