banana-space / btex
☆48Updated 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
- ☆170Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last month
- ntype cafe summer school resources☆140Updated 10 months ago
- Homepage of the Lean-zh website.☆24Updated last month
- Lean 函数式编程☆28Updated 9 months ago
- Solution to Algebra, Chapter 0☆88Updated 3 weeks ago
- Forge wonderful chat messages in typst☆86Updated 3 months ago
- Lean4中文教程☆34Updated 3 months ago
- ☆24Updated 5 months ago
- A collection of presets/templates for my personal Typst writing☆27Updated last week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆72Updated 3 months ago
- Lean 定理证明☆13Updated 5 months ago
- A Typst-friendly static Zettelkästen site generator.☆62Updated this week
- ☆22Updated last year
- OpenType sans-serif math font☆66Updated 4 months ago
- TeX Live with MSVC☆15Updated 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
- History of type theory (Chinese).☆345Updated 2 weeks ago
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆60Updated 3 weeks ago
- Selected Works of Mao Tse-Tung☆16Updated 4 years ago
- Mathematica Theory of Computer Algebra System☆117Updated 9 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- 不定积分过程生成器（By Mathematica）☆44Updated last year
- 上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集☆57Updated 3 years ago
- LaTeX package that embeds and executes Wolfram Language (Mathematica) codes inside LaTeX documents☆125Updated 4 years ago
- Coq集合论中文教程☆44Updated 3 years ago
- Typst中文教程☆143Updated this week
- Lindemann–Weierstrass Theorem☆11Updated last year
- _rqy's codes of OI problems.☆27Updated 6 years ago