leios / SoME_TopicsLinks
Collaboration / Topic requests for SoME
☆210Updated 2 years ago
Alternatives and similar repositories for SoME_Topics
Users that are interested in SoME_Topics are comparing it to the libraries listed below
Sorting:
- A general-purpose programmatic animation tool☆237Updated this week
- Repository containing all code for the videos on the Reducible YouTube channel☆648Updated 3 years ago
- Physics simulation plugin of Manim that can generate scenes in various branches of Physics.☆377Updated last year
- Complex Analysis: A Visual and Interactive Introduction☆194Updated this week
- An animation studio for Manim☆125Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆180Updated last year
- Source files for https://web.evanchen.cc☆58Updated this week
- A Manim Rendering Bot for Discord. Requires a Functioning Manim install.☆52Updated 2 months ago
- Tool for live presentations using manim☆167Updated 2 years ago
- ☆596Updated last week
- ☆342Updated 2 years ago
- Web Presenter for Mathematical Animations using Manim.☆340Updated last year
- A database with many Manim users and content creators☆417Updated last month
- A LaTeX Typesetting Game☆258Updated 6 months ago
- Olympiad problem database☆53Updated 3 weeks ago
- A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.☆276Updated 6 months ago
- Group theory visualization software in the browser☆258Updated last year
- A curated list of tools that can be used for creating interactive mathematical explorables.☆238Updated last month
- Used to make: https://youtu.be/n7JK4Ht8k8M☆139Updated 2 years ago
- Interactive and Programmatic Animation Development; or: How to Time Travel?☆17Updated 3 years ago
- Automated generation of planar geometry olympiad problems☆98Updated 2 years ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆52Updated 4 years ago
- Manim plugin for all things voiceover☆250Updated 8 months ago
- WebGL Complex Function Plotter☆60Updated 3 weeks ago
- A Manim utility extension for Visual Studio Code.☆163Updated this week
- ☆255Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆723Updated this week
- Code for the animations made with Manim☆44Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆308Updated 10 months ago