Crispher / MathlibExplorer
Visualizing the network of math theories.
☆392Updated 3 months ago
Related projects: ⓘ
- The math library of Lean 4☆1,382Updated this week
- ☆121Updated last year
- MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.☆640Updated 2 weeks ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆370Updated 3 weeks ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆95Updated last year
- 线性代数：未竟之美☆467Updated this week
- An animation engine inspired from manim and three.js☆109Updated 8 months ago
- 数学笔记☆29Updated this week
- 清华数学系部分课程教材及参考资料，自用，侵删☆210Updated 3 years ago
- 代数基本观念☆12Updated last week
- LaTeX sources for notes for the maths courses at Cambridge.☆92Updated 3 months ago
- ☆240Updated 7 years ago
- ☆122Updated 2 months ago
- 快速绘制节点图的桌面工具，可以用于项目进程拓扑图绘制、快速头脑风暴草稿。☆161Updated this week
- ☆146Updated 5 months ago
- A Scanning Tunneling Microscope Project☆920Updated last month
- All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!☆65Updated last year
- 80年代高中数理化甲种本☆272Updated this week
- VsCode与Latex相关配置文件☆42Updated last year
- 一个基于中国普通高中教科书的化学笔记项目🧪A chemistry note project based on Chinese high school textbooks☆42Updated 2 months ago
- 物理学学习资料☆183Updated 2 months ago
- Examples of Scene and Study Notes based on Manim Community Edition☆36Updated 2 years ago
- ☆27Updated last month
- Animation engine for explanatory math videos☆110Updated 3 years ago
- Download all GTMs by the scripts☆35Updated 5 years ago
- ☆121Updated this week
- 中山大学-物理与天文学院-本科实验报告LaTeX模板☆14Updated 5 months ago
- ☆33Updated last year
- 基于北太天元的数学建模新手教材编写，感谢北京大学卢朓老师、李若老师等人的支持☆39Updated last year
- ☆19Updated this week