Crispher / MathlibExplorer
Visualizing the network of math theories.
☆501Updated 8 months ago
Alternatives and similar repositories for MathlibExplorer:
Users that are interested in MathlibExplorer are comparing it to the libraries listed below
- The math library of Lean 4☆1,748Updated this week
- ☆91Updated last month
- 线性代数：未竟之美☆529Updated 2 weeks ago
- ☆132Updated last year
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆95Updated last year
- 数学系部分课程教材及参考资料，自用，侵删☆234Updated 2 months ago
- ☆278Updated 7 years ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆411Updated this week
- ☆123Updated 7 months ago
- All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!☆78Updated last year
- MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.☆1,112Updated 2 months ago
- 中山大学-物理与天文学院-本科实验报告LaTeX模板☆18Updated 3 months ago
- 物理学学习资料☆217Updated 7 months ago
- A library for creating smooth animations☆114Updated this week
- Download all GTMs by the scripts☆52Updated 5 years ago
- 代数基本观念☆14Updated 5 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆101Updated 8 months ago
- ☆161Updated 10 months ago
- 数学笔记☆64Updated last month
- A textbook presenting a fresh approach to gravity field theory. [in Chinese]☆57Updated last month
- 磁悬浮青蛙呱呱呱，工程师视角下的高中数学。☆158Updated 3 weeks ago
- Awesome Typst 列表中文版☆440Updated last year
- Manim 社区版中文文档☆51Updated 2 months ago
- An animation engine inspired from manim and three.js☆118Updated last year
- some good books☆32Updated 4 years ago
- 华章数学丛书高清扫描☆314Updated 2 years ago
- ☆95Updated 5 months ago
- 西安交通大学生存指南☆42Updated this week