ianarawjo / notate-jupyterLinks
Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
☆37Updated 2 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:
- Wolfram Notebooks + LLMs☆93Updated 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 repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Hypergraph Rewriting System☆77Updated last year
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated this week
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated last year
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- A database app for ring theory☆22Updated last month
- A general purpose processing framework for corpora of scientific documents☆64Updated 2 weeks ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Metamath verifier in Python☆40Updated last month
- 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 last week
- A Binder repo for SageMath computing environment☆28Updated last week
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Templates and tools for creating interactive figures and interactive text for publishing in EPUB3/HTML5.☆16Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- ☆11Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- A curated list of Wolfram Language packages and resources.☆39Updated 6 months ago
- FreeTikZ☆37Updated 7 years ago
- Copies of prolog solvers for use from python☆17Updated last year
- VSCode extension for Metamath☆10Updated last week
- ☆33Updated this week
- Geometric Algebra package for JAX☆49Updated 3 years ago
- Search and replace accross files☆25Updated last month
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated this week
- Logic Programming in Python☆31Updated 3 years ago