Alternatives and similar repositories for MathlibExplorer:

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

• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,676Updated this week
• ManshiMath / ProjectCode
  ☆81Updated last week
• maki-math / maki-web-hexo
  ☆132Updated last year
• Sparky-Xia / THU-Mathematics-Books
  数学系部分课程教材及参考资料，自用，侵删
  ☆232Updated last month
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆97Updated last year
• wenweili / AlJabr-1
  Methods in Algebra (Volume 1): A Chinese textbook on Algebra
  ☆403Updated this week
• jkjkil4 / JAnim
  A library for creating smooth animations
  ☆106Updated this week
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆98Updated 7 months ago
• yhwu-is / Linear-Algebra-Left-Undone
  线性代数：未竟之美
  ☆522Updated last month
• huanyushi / SYSU-SPA-Labreport-Template
  中山大学-物理与天文学院-本科实验报告LaTeX模板
  ☆18Updated 2 months 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,062Updated last month
• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆13Updated 4 months ago
• Hope-Studio / physics
  物理学学习资料
  ☆215Updated 6 months ago
• Howardzhangdqs / jumping-latex-ocr
  ☆123Updated 6 months ago
• luxiaodong / Book
  ☆273Updated 7 years ago
• YishiMichael / manim3
  An animation engine inspired from manim and three.js
  ☆115Updated last year
• manim-kindergarten / manim_document_zh
  一份manim中文教程文档 / manim tutorial document in Chinese (完善中)
  ☆156Updated 2 years ago
• ErSanSan233 / latex-translation
  一本LaTeX图书的中文译本
  ☆91Updated 10 months ago
• LiRenTech / project-graph
  🔥 Draw fast, think efficiently. | A simple tool for drawing graphs.
  ☆1,020Updated this week
• fanhongtao / ebooks
  80年代高中数理化甲种本
  ☆313Updated this week
• CaftBotti / manim_pi_creatures
  All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!
  ☆77Updated last year
• banana-space / banana-space
  ☆157Updated 9 months ago
• chianjin / outline-of-mechanics
  《力学概论》LaTeX 重排版
  ☆248Updated 8 months ago
• KaiserKatze / mathematical-notes
  数学笔记
  ☆58Updated this week
• abdulle-sabaf / cathunu-bhallifa
  悟数学
  ☆109Updated 2 weeks ago
• xiaxuan1989 / GRAVITY
  A textbook presenting a fresh approach to gravity field theory. [in Chinese]
  ☆56Updated 2 weeks ago
• ShiArthurX / ShiArthurX
  ☆75Updated 3 months ago
• DianJin-Frederick / Real-Analysis-Problem-Set-LaTeX
  ☆33Updated last year
• XJTU-Graphics / dandelion
  A light-weight graphics experiment framework for educational usage.
  ☆156Updated 3 months ago