banana-space / btex
☆46Updated 11 months ago
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
- ☆160Updated 9 months ago
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 2 months ago
- Forge wonderful chat messages in typst☆83Updated last month
- Some experimental Typst files.☆14Updated last year
- ntype cafe summer school resources☆137Updated 7 months ago
- ☆20Updated 3 months ago
- Lean 函数式编程☆26Updated 6 months ago
- Lean4中文教程☆34Updated 2 weeks ago
- Typst中文教程☆125Updated 2 weeks ago
- 不定积分过程生成器（By Mathematica）☆43Updated last year
- History of type theory (Chinese).☆331Updated last month
- Introduction to Modular Forms: A Chinese textbook about modular forms☆72Updated 2 weeks ago
- 一个简单的 Typst 中文模板☆128Updated last month
- Lean 定理证明☆11Updated 2 months ago
- A collection of presets/templates for my personal Typst writing☆27Updated 3 months ago
- ☆22Updated last year
- Lindemann–Weierstrass Theorem☆11Updated 9 months ago
- 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
- TeX Live with MSVC☆14Updated last week
- Awesome Typst 列表中文版（该项目已与 qjcg/awesome-typst 合并）☆72Updated last year
- 非常的新鲜，非常的美味☆27Updated last year
- 社区驱动的非官方 Typst 中文文档。☆47Updated 2 months ago
- Homepage of the Lean-zh website.☆18Updated this week
- Mathematica Theory of Computer Algebra System☆115Updated 9 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Formalizing Euclidean Geometry in Lean☆29Updated 10 months ago
- LaTeX package that embeds and executes Wolfram Language (Mathematica) codes inside LaTeX documents☆125Updated 4 years ago
- Typst template for dissertations in Peking University (PKU).☆101Updated 10 months ago