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:
- Metamath verifier in Python☆39Updated 2 weeks ago
- Quantum information theory in Lean 4☆21Updated last week
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Hypergraph Rewriting System☆74Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- 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
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 3 weeks ago
- VSCode extension for Metamath☆10Updated last month
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- Wolfram Notebooks + LLMs☆91Updated this week
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated 2 weeks ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- ☆25Updated 2 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆52Updated last month
- Tag-based webview of LaTeX documents☆30Updated last year
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆27Updated 5 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- Logic Programming in Python☆31Updated 3 years ago
- ☆10Updated 3 weeks ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆34Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- ☆23Updated 3 years ago
- Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)☆28Updated 6 years ago