A Manim Rendering Bot for Discord. Requires a Functioning Manim install.
Primary LanguagePythonMIT LicenseMIT