Crispher / MathlibExplorerLinks
Visualizing the network of math theories.
☆566Updated last year
Alternatives and similar repositories for MathlibExplorer
Users that are interested in MathlibExplorer are comparing it to the libraries listed below
Sorting:
- ☆107Updated 7 months ago
- The math library of Lean 4☆2,287Updated this week
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页:https://space.bilibili.com/2057313067☆101Updated last year
- ☆152Updated 2 years ago
- 物理学学习资料☆266Updated last year
- A library for creating smooth animations☆156Updated this week
- An animation engine inspired from manim and three.js☆121Updated last year
- 磁悬浮青蛙呱呱呱,工程师视角下的高中数学。☆299Updated last week
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆454Updated last week
- 线性代数:未竟之美☆590Updated last month
- manim中文入门教程☆1,160Updated 5 years ago
- 数学系部分课程教材及参考资料,自用,侵删☆281Updated 8 months ago
- ☆190Updated last year
- This is the latest version of textbook《大数理论》(Googology).☆57Updated last month
- manim-kindergarten's communal repository☆492Updated 3 years ago
- ☆135Updated 11 months ago
- All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!☆84Updated 2 years ago
- 代数基本观念☆15Updated 5 months ago
- Download all GTMs by the scripts☆67Updated 6 years ago
- 悟数学☆173Updated 3 weeks ago
- Animation engine for explanatory math videos☆128Updated 4 years ago
- ☆123Updated last year
- 中山大学-物理与天文学院-本科实验报告LaTeX模板☆22Updated 3 months ago
- some of my manim projects☆242Updated 3 years ago
- Awesome Typst 列表中文版☆518Updated last year
- 数学笔记☆81Updated this week
- MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.☆1,522Updated 3 months ago
- Manim 社区版中文文档☆62Updated 4 months ago
- Math Course Materials of SUSTech☆288Updated 7 months ago
- 《力学概论》LaTeX 重排版☆268Updated 3 weeks ago