kokic / kodamaLinks
A Typst-friendly static Zettelkästen site generator.
☆168Updated this week
Alternatives and similar repositories for kodama
Users that are interested in kodama are comparing it to the libraries listed below
Sorting:
- Typst blog template based on Zola, typst.ts, and apollo.☆40Updated 7 months ago
- Static site generator(SSG) for typst☆158Updated 4 months ago
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆104Updated last month
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 6 months ago
- All-in-one Typst integration for Astro☆151Updated 3 weeks ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated last week
- Typst math typesetting for the web.☆87Updated 6 months ago
- Responsive web layout with wide margins, elegant sidenotes, and restrained typography☆71Updated last week
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Updated 3 years ago
- Draw elegant metro maps with ease☆40Updated 5 months ago
- ☆22Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 11 months ago
- Export presentation slides in various formats for Touying.☆108Updated last month
- The static-site blog template using astro and typst☆85Updated 4 months ago
- Haskell library for parsing and evaluating typst☆68Updated last month
- Typst Mathematical Expression OCR☆105Updated 10 months ago
- A library for typesetting mathematical theorems in typst.☆19Updated 10 months ago
- Prune is a constraint logic programming language with branching heuristic.☆33Updated 3 weeks ago
- Algorithm pseudocode typesetting library for Typst☆51Updated 2 months ago
- Typst Package to typeset inference rule☆54Updated last month
- Forge wonderful chat messages in typst☆100Updated last month
- ☆11Updated this week
- My blog.☆23Updated 2 months ago
- A lecture notes template in Typst.☆82Updated last year
- Learn Lean 4 with PLFA proofs.☆102Updated 9 months ago
- A typst wasm plugin to use graphviz directly inside documents☆138Updated 4 months ago
- Typst symbol classifier☆227Updated this week
- A Typst package CLI tool☆60Updated 2 weeks ago
- shiroa is a simple tool for creating modern online books in pure typst.☆602Updated last month
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Updated 6 months ago