Typst math typesetting for the web.
☆93Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Aug 2, 2023Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Elegant maps and elements of Nanjing Metro☆30Jan 11, 2026Updated 2 months ago
- Draw elegant metro maps with ease☆41Aug 12, 2025Updated 7 months ago
- Run Typst in JavaScriptWorld.☆1,022Mar 17, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Mar 11, 2022Updated 4 years ago
- Insert and edit Typst equations in Inkscape☆25May 19, 2024Updated last year
- ☆18May 21, 2019Updated 6 years ago
- Relative positioning by pins, especially useful for making slides in typst.☆310May 20, 2025Updated 10 months ago
- shiroa is a simple tool for creating modern online books in pure typst.☆613Dec 14, 2025Updated 3 months ago
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆113Mar 18, 2026Updated last week
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- Aqua Metropolis University Stargazer☆19Mar 9, 2026Updated 2 weeks ago
- A Typst package CLI tool☆63Jan 16, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fix indent of first paragraph in typst.☆26Nov 12, 2024Updated last year
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆951Mar 13, 2026Updated last week
- Export presentation slides in various formats for Touying.☆110Dec 13, 2025Updated 3 months ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆92May 26, 2025Updated 9 months ago
- Using OCR to convert images of formulas into Typst code.☆17Jul 27, 2025Updated 7 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 4 months ago
- being an operating system for typechecking processes☆132Oct 7, 2025Updated 5 months ago
- ☆21Aug 31, 2025Updated 6 months ago
- Arrows for Typst paths and other stories☆41Jan 19, 2026Updated 2 months ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- [DEPRECATED] Use tinymist instead☆442Jul 7, 2024Updated last year
- A package that helps you to specify different numbering formats for different levels of headings.☆28Nov 2, 2024Updated last year
- Natural language tactics to teach mathematics using Lean 4☆120Mar 8, 2026Updated 2 weeks ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- A server for the forester tool☆18Dec 10, 2024Updated last year
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 8 months ago
- Write markdown-like tables easily.☆76Jul 27, 2025Updated 7 months ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- A library for generating truth tables☆14Apr 12, 2023Updated 2 years ago
- Forge wonderful chat messages in typst☆108Dec 16, 2025Updated 3 months ago