Alternatives and similar repositories for SoME_Topics

Users that are interested in SoME_Topics are comparing it to the libraries listed below

• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆242Updated last week
• nipunramk / Reducible
  Repository containing all code for the videos on the Reducible YouTube channel
  ☆654Updated 3 years ago
• Matheart / manim-physics
  Physics simulation plugin of Manim that can generate scenes in various branches of Physics.
  ☆384Updated last year
• vivek3141 / videos
  Source code for all the animations in my videos. Uses @3b1b's manim library
  ☆185Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated last month
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆169Updated 3 years ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆209Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆52Updated 4 years ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆139Updated 2 years ago
• RamanujanMachine / RamanujanMachine
  ☆345Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆271Updated last year
• ZAPPhysics / QFT_Sims
  ☆120Updated 5 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated last week
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆64Updated 3 months ago
• ubavic / awesome-interactive-math
  A curated list of tools that can be used for creating interactive mathematical explorables.
  ☆257Updated last month
• vEnhance / von
  Olympiad problem database
  ☆54Updated last week
• xiaoxiae / videos
  Source code to my videos.
  ☆84Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year
• 3b1b / 3Blue1Brown.com
  ☆617Updated last month
• eigenchris / MathNotes
  ☆264Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆370Updated last week
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆19Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆279Updated 8 months ago
• christopher-besch / maki
  Interactive and Programmatic Animation Development; or: How to Time Travel?
  ☆16Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• krassowski / jupyter-manim
  manim cell magic for IPython/Jupyter to show the output video
  ☆198Updated 4 years ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆739Updated 2 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆778Updated last week