Alternatives and similar repositories for manim

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

• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 11 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆46Updated 2 weeks ago
• apnelson1 / Matroid
  ☆12Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated 2 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆193Updated 8 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆151Updated 5 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 4 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆142Updated last year
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 11 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆78Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 10 months ago
• ocramz / sde
  Numerical experiments with stochastic differential equations
  ☆21Updated 7 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• ToposInstitute / poly
  ☆126Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆281Updated last week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• b-mehta / unit-fractions
  ☆16Updated 2 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆30Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• jamievicary / globular
  Globular
  ☆39Updated 7 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago