Alternatives and similar repositories for MathlibExplorer

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

• ManshiMath / ProjectCode
  ☆109Updated 9 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,455Updated this week
• FrogGuaGuaGua / HighSchoolMathematics
  磁悬浮青蛙呱呱呱，工程师视角下的高中数学。
  ☆320Updated 2 months ago
• maki-math / maki-web-hexo
  ☆160Updated 2 years ago
• wenweili / AlJabr-1
  Methods in Algebra (Volume 1): A Chinese textbook on Algebra
  ☆462Updated last week
• Sparky-Xia / THU-Mathematics-Books
  数学系部分课程教材及参考资料，自用，侵删
  ☆298Updated 10 months ago
• ZhiqiuCao / Googology
  This is the latest version of textbook《大数理论》(Googology).
  ☆66Updated last month
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆105Updated 2 years ago
• Mister-Hope / physics
  物理学学习资料
  ☆281Updated last year
• chanqi4444 / GTM
  Download all GTMs by the scripts
  ☆73Updated 6 years ago
• banana-space / banana-space
  ☆197Updated last year
• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆15Updated 7 months ago
• yhwu-is / Linear-Algebra-Left-Undone
  线性代数：未竟之美
  ☆620Updated last week
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,246Updated this week
• LunaQu4kez / SUSTech_Math_Course_Materials
  Math Course Materials of SUSTech
  ☆312Updated 10 months ago
• jkjkil4 / JAnim
  A library for creating smooth animations
  ☆189Updated last week
• typst-cn / awesome-typst-cn
  Awesome Typst 列表中文版
  ☆534Updated 2 years ago
• sulovemel / tex_template_r_2025_gbk
  A latex math note template
  ☆38Updated 6 months ago
• mathloveyou / mathloveyou.github.io
  清华大学公共数学基础课学习指南
  ☆116Updated 2 years ago
• YishiMichael / manim3
  An animation engine inspired from manim and three.js
  ☆120Updated last month
• CaftBotti / manim_pi_creatures
  All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!
  ☆86Updated 2 years ago
• RQLuo / MixTeX-Latex-OCR
  MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.
  ☆1,547Updated 6 months ago
• xiesp / IntroductionToLinearAlgebra-Chinese-note
  MIT Gilbert Strang教授的线性导数导论笔记，包含全中文书本内容和视频笔记
  ☆331Updated 2 years ago
• Crispher / 4D
  4D space visualization
  ☆38Updated 2 years ago
• huanyushi / SYSU-SPA-Labreport-Template
  中山大学-物理与天文学院-本科实验报告LaTeX模板
  ☆23Updated 5 months ago
• luxiaodong / Book
  ☆323Updated 8 years ago
• gandyli / cp_lib
  ☆144Updated last year
• KaiserKatze / mathematical-notes
  数学笔记
  ☆83Updated this week
• MarkHoo / manim-docs-zh-hans
  Manim 社区版中文文档
  ☆65Updated 6 months ago
• SeaniWu / CMCS
  Classical Mechanics Cheat Sheet based on https://github.com/kenfehling/latex-cheatsheet, first made in 2019 as part of the Physics underg…
  ☆33Updated 9 months ago