zeroeightysix / tt-lecturesLinks
Source code for student lectures on dependent type theory.
☆12Updated 8 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:
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆104Updated last month
- A Typst book template inspired by kaobook☆23Updated 10 months ago
- Relative positioning by pins, especially useful for making slides in typst.☆301Updated 8 months ago
- Export presentation slides in various formats for Touying.☆109Updated last month
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆50Updated 2 years ago
- The static-site blog template using astro and typst☆86Updated 5 months ago
- Typst Mathematical Expression OCR☆105Updated 10 months ago
- A library for typesetting mathematical theorems in typst.☆19Updated 11 months ago
- Using OCR to convert images of formulas into Typst code.☆17Updated 6 months ago
- A Typst-friendly static Zettelkästen site generator.☆169Updated last week
- Static site generator(SSG) for typst☆161Updated 5 months ago
- My blog.☆23Updated 3 months ago
- ☆57Updated 10 months ago
- Effortlessly create quantum circuit diagrams in Typst.☆98Updated 2 weeks ago
- A high efficient random number generator in Typst☆36Updated last month
- Typst blog template based on Zola, typst.ts, and apollo.☆40Updated 8 months ago
- ☆181Updated 11 months ago
- An implementation of numbered theorem environments in typst☆273Updated 7 months ago
- Some common drafting utilities for the `typst` document typesetter☆103Updated 9 months ago
- A Typst package for various enhancements for mathematical expressions.☆38Updated 4 months ago
- A Typst port of undergradmath☆143Updated 2 months ago
- Drawing commutative diagrams for Typst commute☆27Updated 2 years ago
- Typst math typesetting for the web.☆88Updated 7 months ago
- Create simple static slides with Typst☆135Updated last week
- Numeric Typst☆24Updated 2 months ago
- Typst-setting finite automata with CeTZ.☆141Updated 8 months ago
- Include PDF images in your Typst document☆107Updated 3 months ago
- My plugins and packages for typst☆28Updated last year
- Solving Leetcode problems in Typst☆33Updated 3 weeks ago
- A Typst package CLI tool☆60Updated 3 weeks ago