Alternatives and similar repositories for Manim-animations-code-for-MetaMaths:

Users that are interested in Manim-animations-code-for-MetaMaths are comparing it to the libraries listed below

• xiaoxiae / videos
  Source code to my videos.
  ☆77Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆25Updated last month
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• jiamingkong / rwkv_reward
  Training a reward model for RLHF using RWKV.
  ☆14Updated last year
• ManimCommunity / manim-plugintemplate
  A template project to both illustrate and serve as an example for plugin creations on top of the manim.
  ☆18Updated 3 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆20Updated last year
• Varniex / manim_videos
  This repository contains the code used to generate videos on Varniex channel.
  ☆56Updated 2 months ago
• ManimCommunity / manim-voiceover
  Manim plugin for all things voiceover
  ☆216Updated 2 months ago
• brianamedee / 3B1B-Animated-Tutorials
  ☆15Updated 3 years ago
• naveen521kk / manim-fonts
  Use Fonts from Internet With Manim.
  ☆27Updated 3 weeks ago
• Rickaym / manim-sideview
  A Manim utility extension for Visual Studio Code.
  ☆133Updated last month
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 11 months ago
• seckindemirbas / PLP
  This is the repository for PLP, An introduction to mathematical proof, book
  ☆18Updated 9 months ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆49Updated 4 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆39Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆104Updated 5 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated this week
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆49Updated last month
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆16Updated last week
• naveen521kk / manim-fontawesome
  Font Awesome SVG's for Manim
  ☆18Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago
• JerryI / Mathematica-ThreeJS-graphics-engine
  A parser for Wolfram Mathematica's Graphics3D functions (written in JS)
  ☆29Updated this week
• GarryBGoode / Manim_CAD_Drawing_utils
  Extension of Manim to create CAD-like drawings
  ☆46Updated last year
• WampyCakes / manim-rubikscube
  A Manim implementation of the classic Rubik's Cube
  ☆50Updated last year
• teorth / expdb
  Exponent pair database
  ☆47Updated last week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 3 months ago
• Elteoremadebeethoven / Manim-TB
  My version of Manim (by 3b1b)
  ☆27Updated 4 years ago