zeroeightysix / tt-lecturesLinks
Source code for student lectures on dependent type theory.
☆12Updated 3 months ago
Alternatives and similar repositories for tt-lectures
Users that are interested in tt-lectures are comparing it to the libraries listed below
Sorting:
- Export presentation slides in various formats for Touying.☆88Updated last week
- Relative positioning by pins, especially useful for making slides in typst.☆271Updated 4 months ago
- The static-site blog template using astro and typst☆52Updated last week
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆79Updated last month
- Static site generator(SSG) for typst☆114Updated 3 weeks ago
- Typst Mathematical Expression OCR☆96Updated 6 months ago
- My blog.☆20Updated last week
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆45Updated last year
- A Typst port of undergradmath☆129Updated 3 weeks ago
- ☆168Updated 6 months ago
- An implementation of numbered theorem environments in typst☆257Updated 3 months ago
- Typst-setting finite automata with CeTZ.☆111Updated 4 months ago
- Typst symbol classifier☆195Updated last month
- Include PDF images in your Typst document☆100Updated 4 months ago
- ☆56Updated 6 months ago
- A lecture notes template in Typst.☆70Updated 8 months ago
- A Typst package CLI tool☆43Updated 3 weeks ago
- News about typst.☆17Updated 4 months ago
- JavaScript library for conversion between TeX/LaTeX and Typst math code.☆53Updated last week
- LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/☆444Updated 8 months ago
- A Typst-friendly static Zettelkästen site generator.☆107Updated last week
- ☆23Updated 3 months ago
- A Typst book template inspired by kaobook☆16Updated 5 months ago
- Algorithm pseudocode typesetting library for Typst☆37Updated 3 weeks ago
- A Typst package for typesetting pseudocode☆77Updated last month
- Simple enough but expressive template for notes, reports, and documents for Typst.☆31Updated last month
- Displaying code blocks with line numbers and line highlighting.☆62Updated 2 months ago
- A library for typesetting mathematical theorems in typst.☆19Updated 6 months ago
- physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.☆490Updated 3 weeks ago
- Effortlessly create quantum circuit diagrams in Typst.☆89Updated last month