Alternatives and similar repositories for SoME_Topics:

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

• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆56Updated 5 months ago
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆165Updated 2 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆88Updated 4 months ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆178Updated last week
• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆215Updated 2 weeks ago
• Matheart / manim-physics
  Physics simulation plugin of Manim that can generate scenes in various branches of Physics.
  ☆344Updated 8 months ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆49Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆234Updated 3 months ago
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated 2 weeks ago
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆158Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆241Updated last year
• kevcen / manimate
  An animation studio for Manim
  ☆113Updated 8 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated last week
• explanaria / explanaria.github.io
  interactive math, intuitively
  ☆37Updated 2 weeks ago
• nipunramk / Reducible
  Repository containing all code for the videos on the Reducible YouTube channel
  ☆628Updated 2 years ago
• abhijithmuthyala / manim-projects
  Code for the animations made with Manim
  ☆39Updated 2 years ago
• vivek3141 / videos
  Source code for all the animations in my videos. Uses @3b1b's manim library
  ☆168Updated 10 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆380Updated this week
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆14Updated last year
• HackerPoet / Conics
  An interactive conic visualization app used to record this video.
  ☆186Updated 5 years ago
• eigenchris / MathNotes
  ☆225Updated 7 months ago
• 3b1b / 3Blue1Brown.com
  ☆489Updated 2 weeks ago
• ccz181078 / Coq-BB5
  ☆191Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• ManimCommunity / DiscordManimator
  A Manim Rendering Bot for Discord. Requires a Functioning Manim install.
  ☆51Updated last year
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆96Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆248Updated last week
• 2swap / swaptube
  youtube video renderer
  ☆150Updated this week
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆108Updated 3 months ago