Alternatives and similar repositories for MathlibExplorer

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

• ManshiMath / ProjectCode
  ☆107Updated 7 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,287Updated this week
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆101Updated last year
• maki-math / maki-web-hexo
  ☆152Updated 2 years ago
• Mister-Hope / physics
  物理学学习资料
  ☆266Updated last year
• jkjkil4 / JAnim
  A library for creating smooth animations
  ☆156Updated this week
• YishiMichael / manim3
  An animation engine inspired from manim and three.js
  ☆121Updated last year
• FrogGuaGuaGua / HighSchoolMathematics
  磁悬浮青蛙呱呱呱，工程师视角下的高中数学。
  ☆299Updated last week
• wenweili / AlJabr-1
  Methods in Algebra (Volume 1): A Chinese textbook on Algebra
  ☆454Updated last week
• yhwu-is / Linear-Algebra-Left-Undone
  线性代数：未竟之美
  ☆590Updated last month
• cai-hust / manim-tutorial-CN
  manim中文入门教程
  ☆1,160Updated 5 years ago
• Sparky-Xia / THU-Mathematics-Books
  数学系部分课程教材及参考资料，自用，侵删
  ☆281Updated 8 months ago
• banana-space / banana-space
  ☆190Updated last year
• ZhiqiuCao / Googology
  This is the latest version of textbook《大数理论》(Googology).
  ☆57Updated last month
• manim-kindergarten / manim_sandbox
  manim-kindergarten's communal repository
  ☆492Updated 3 years ago
• gandyli / cp_lib
  ☆135Updated 11 months ago
• CaftBotti / manim_pi_creatures
  All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!
  ☆84Updated 2 years ago
• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆15Updated 5 months ago
• chanqi4444 / GTM
  Download all GTMs by the scripts
  ☆67Updated 6 years ago
• abdulle-sabaf / cathunu-bhallifa
  悟数学
  ☆173Updated 3 weeks ago
• leekunhwee / manim
  Animation engine for explanatory math videos
  ☆128Updated 4 years ago
• Howardzhangdqs / jumping-latex-ocr
  ☆123Updated last year
• huanyushi / SYSU-SPA-Labreport-Template
  中山大学-物理与天文学院-本科实验报告LaTeX模板
  ☆22Updated 3 months ago
• cigar666 / my_manim_projects
  some of my manim projects
  ☆242Updated 3 years ago
• typst-cn / awesome-typst-cn
  Awesome Typst 列表中文版
  ☆518Updated last year
• KaiserKatze / mathematical-notes
  数学笔记
  ☆81Updated this week
• RQLuo / MixTeX-Latex-OCR
  MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.
  ☆1,522Updated 3 months ago
• MarkHoo / manim-docs-zh-hans
  Manim 社区版中文文档
  ☆62Updated 4 months ago
• LunaQu4kez / SUSTech_Math_Course_Materials
  Math Course Materials of SUSTech
  ☆288Updated 7 months ago
• chianjin / outline-of-mechanics
  《力学概论》LaTeX 重排版
  ☆268Updated 3 weeks ago