ianarawjo / notate-jupyter
Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
☆36Updated 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
- Hypergraph Rewriting System☆70Updated 11 months ago
- Metamath verifier in Python☆38Updated 11 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆20Updated last year
- Wolfram Notebooks + LLMs☆87Updated last week
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆19Updated 5 months ago
- A rule engine based on Attempto Controlled English☆18Updated 4 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- This is the CoCalc Electron desktop application.☆16Updated 2 years ago
- ☆25Updated 2 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Mathematica packages for geometric algebra☆48Updated last year
- Logic Programming in Python☆31Updated 3 years ago
- The Free Life Planner Reference Manual☆11Updated 2 months ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- FreeTikZ☆38Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 8 months ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- miscellaneous wolfram language functions☆30Updated 3 years ago
- A curated list of Wolfram Language packages and resources.☆34Updated 2 months ago
- VSCode extension for Metamath☆10Updated this week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago
- Python Wrappings for exploring Set Substitution Systems (Wolfram Models)☆15Updated 4 years ago
- Use MiniZinc in the browser or with NodeJS☆37Updated last week
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- DevTools and styles for mathematica developers☆29Updated 4 years ago
- Conceptual understanding through efficient inverse-design of quantum optical experiments☆28Updated 3 years ago
- A projectional editor for JSON DSLs☆25Updated 11 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago