Alternatives and similar repositories for MathlibExplorer

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

• ManshiMath / ProjectCode
  ☆105Updated 5 months ago
• FrogGuaGuaGua / HighSchoolMathematics
  磁悬浮青蛙呱呱呱，工程师视角下的高中数学。
  ☆263Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,078Updated this week
• Sparky-Xia / THU-Mathematics-Books
  数学系部分课程教材及参考资料，自用，侵删
  ☆264Updated 6 months ago
• yhwu-is / Linear-Algebra-Left-Undone
  线性代数：未竟之美
  ☆569Updated 2 months ago
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆97Updated last year
• banana-space / banana-space
  ☆177Updated last year
• maki-math / maki-web-hexo
  ☆135Updated 2 years ago
• jkjkil4 / JAnim
  A library for creating smooth animations
  ☆147Updated 2 weeks ago
• YishiMichael / manim3
  An animation engine inspired from manim and three.js
  ☆118Updated last year
• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆15Updated 3 months ago
• ZhiqiuCao / Googology
  This is the latest version of textbook《大数理论》(Googology).
  ☆49Updated 2 weeks ago
• wenweili / AlJabr-1
  Methods in Algebra (Volume 1): A Chinese textbook on Algebra
  ☆445Updated last month
• abdulle-sabaf / cathunu-bhallifa
  悟数学
  ☆148Updated last week
• MarkHoo / manim-docs-zh-hans
  Manim 社区版中文文档
  ☆59Updated 2 months ago
• CaftBotti / manim_pi_creatures
  All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!
  ☆84Updated last year
• huanyushi / SYSU-SPA-Labreport-Template
  中山大学-物理与天文学院-本科实验报告LaTeX模板
  ☆23Updated last month
• liangkeshulizi / relativistic-ray-tracer
  An efficient relativistic ray tracer based on numpy.
  ☆90Updated 2 years ago
• Mister-Hope / physics
  物理学学习资料
  ☆248Updated 11 months ago
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆103Updated last year
• typst-cn / awesome-typst-cn
  Awesome Typst 列表中文版
  ☆490Updated last year
• KaiserKatze / mathematical-notes
  数学笔记
  ☆77Updated this week
• chianjin / outline-of-mechanics
  《力学概论》LaTeX 重排版
  ☆265Updated last year
• teorth / analysis
  A Lean companion to Analysis I
  ☆725Updated this week
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆35Updated 3 weeks ago
• manim-kindergarten / manim_document_zh
  一份manim中文教程文档 / manim tutorial document in Chinese (完善中)
  ☆162Updated 2 years ago
• cigar666 / my_manim_projects
  some of my manim projects
  ☆240Updated 3 years ago
• Crispher / 4D
  4D space visualization
  ☆37Updated 2 years ago
• ErSanSan233 / latex-translation
  一本LaTeX图书的中文译本
  ☆98Updated last year
• asukaminato0721 / good-books
  some good books
  ☆34Updated 4 years ago