Magnum-Math / Magnum
Official Repository of the Magnum Project
☆59Updated 3 years ago
Alternatives and similar repositories for Magnum:
Users that are interested in Magnum are comparing it to the libraries listed below
- Interface between networkx and manim☆50Updated 4 years ago
- A web based frontend to manim☆102Updated 2 years ago
- Code for the animations made with Manim☆39Updated 2 years ago
- Manim Tutorials☆17Updated last year
- a writeup on some experiments on a sequence model for chess games☆29Updated 3 years ago
- manim cell magic for IPython/Jupyter to show the output video☆196Updated 3 years ago
- human-readable solution of an arbitrary optimization problem through Reinforcement Learning☆12Updated last week
- Code for tweets by @manim_community on twitter☆74Updated 3 years ago
- ☆334Updated 2 years ago
- ☆10Updated 4 years ago
- Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning☆135Updated 8 months ago
- Short animations using Manim☆33Updated 4 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- Keras-like APIs for JAX framework☆50Updated 2 years ago
- Manim scripts used in Tungsteno https://www.tungsteno.io/☆29Updated 4 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆14Updated 7 years ago
- Perseus is Khan Academy's new exercise question editor and renderer.☆156Updated 2 years ago
- Techniques & resources for training interpretable ML models, explaining ML models, and debugging ML models.☆21Updated 2 years ago
- ☆15Updated 3 years ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 3 years ago
- I clearly unravel how I came to invent the supermanifold hypothesis in deep learning, (a part of a system called 'thought curvature') in …☆19Updated 2 years ago
- Package that implements livestreaming configurations for Manim.☆16Updated 2 years ago
- Lime: Explaining the predictions of any machine learning classifier☆16Updated 5 years ago
- ☆18Updated 2 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 9 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆19Updated last year
- ☆26Updated 2 years ago
- Feedforward neural network learning in real time☆56Updated last month
- ☆14Updated last year
- Domain Specific Language using Manim to create animations for data structures and algorithms☆49Updated 3 years ago