Typst math typesetting for the web.
☆90Jul 4, 2025Updated 8 months ago
Alternatives and similar repositories for wypst
Users that are interested in wypst are comparing it to the libraries listed below
Sorting:
- ☆16Aug 2, 2023Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- ☆16Mar 11, 2022Updated 3 years ago
- ☆18May 21, 2019Updated 6 years ago
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 8 months ago
- Run Typst in JavaScriptWorld.☆999Feb 12, 2026Updated 3 weeks ago
- ☆22Feb 13, 2024Updated 2 years ago
- ☆21Aug 31, 2025Updated 6 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Elegant maps and elements of Nanjing Metro☆30Jan 11, 2026Updated last month
- Write markdown-like tables easily.☆76Jul 27, 2025Updated 7 months ago
- VSCode plugin for Standard ML☆40Mar 8, 2024Updated last year
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆927Feb 4, 2026Updated last month
- Relative positioning by pins, especially useful for making slides in typst.☆304May 20, 2025Updated 9 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- shiroa is a simple tool for creating modern online books in pure typst.☆609Dec 14, 2025Updated 2 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 weeks ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- String diagrams in LaTeX.☆17Feb 26, 2024Updated 2 years ago
- ☆27Feb 28, 2025Updated last year
- Insert and edit Typst equations in Inkscape☆25May 19, 2024Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆92May 26, 2025Updated 9 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Export presentation slides in various formats for Touying.☆109Dec 13, 2025Updated 2 months ago
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆107Dec 18, 2025Updated 2 months ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- A Typst-friendly static Zettelkästen site generator.☆177Updated this week
- Arrows for Typst paths and other stories☆40Jan 19, 2026Updated last month
- Random Pluto Utilities☆29Updated this week
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year