banana-space / btex
☆46Updated last year
Alternatives and similar repositories for btex:
Users that are interested in btex are comparing it to the libraries listed below
- VSCode extension for bTeX.☆20Updated last year
- ☆164Updated 11 months ago
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 3 months ago
- Some experimental Typst files.☆14Updated last year
- Forge wonderful chat messages in typst☆83Updated 2 months ago
- ntype cafe summer school resources☆136Updated 9 months ago
- A collection of presets/templates for my personal Typst writing☆27Updated 4 months ago
- Lean 函数式编程☆27Updated 7 months ago
- Lean4中文教程☆34Updated last month
- Typst中文教程☆130Updated last month
- Introduction to Modular Forms: A Chinese textbook about modular forms☆71Updated last month
- C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …☆11Updated 4 years ago
- ☆21Updated 4 months ago
- 社区驱动的非官方 Typst 中文文档。☆48Updated 2 weeks ago
- TeX Live with MSVC☆14Updated this week
- Typst template for dissertations in Peking University (PKU).☆104Updated 2 weeks ago
- Lean 定理证明☆13Updated 3 months ago
- ☆22Updated last year
- Solution to Algebra, Chapter 0☆88Updated last year
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆43Updated 3 years ago
- Homepage of the Lean-zh website.☆21Updated last month
- History of type theory (Chinese).☆336Updated 2 weeks ago
- 计蒜客软工外包事件记录☆38Updated 4 years ago
- Awesome Typst 列表中文版（该项目已与 qjcg/awesome-typst 合并）☆72Updated last year
- 一个简单的 Typst 中文模板☆131Updated 2 weeks ago
- LaTeX package that embeds and executes Wolfram Language (Mathematica) codes inside LaTeX documents☆125Updated 4 years ago
- _rqy's codes of OI problems.☆27Updated 6 years ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆57Updated 6 months ago
- Mathematica Theory of Computer Algebra System☆116Updated 9 years ago