Modern, Friendly, and Customizable Theorem Environments for Typst
☆30Mar 2, 2026Updated 2 months ago
Alternatives and similar repositories for typst-thmbox
Users that are interested in typst-thmbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆32May 2, 2026Updated last week
- Beautiful, flexible, and integrated. Display custom frames for theorems, environments, and more. Attractive visuals with syntax that blen…☆85Dec 3, 2025Updated 5 months ago
- A diff tool for Typst documents, similar to latexdiff for LaTeX☆35Apr 22, 2026Updated 2 weeks ago
- A package for marking and annotating in math blocks in Typst.☆73Apr 23, 2026Updated 2 weeks ago
- Riemann sum graphs in Typst with CeTZ☆22Sep 18, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Typst package for easy-to-use but powerful and smart margin notes.☆22Apr 2, 2025Updated last year
- Typst-setting finite automata with CeTZ.☆157Mar 9, 2026Updated 2 months ago
- Convert Typst equations into functions☆31Nov 18, 2025Updated 5 months ago
- An utility package for typst package authors.☆18May 12, 2025Updated 11 months ago
- ☆22May 30, 2023Updated 2 years ago
- Creates bibliographies in Typst with URL/DOI links☆18Jan 21, 2026Updated 3 months ago
- Implementation of Red / Green syntax trees. Inspired by Rowan☆17Updated this week
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- ☆10Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 3D Plotting Package for Typst using CeTZ. Similar functionality to pgfplots for LaTeX.☆104Sep 11, 2025Updated 7 months ago
- GoGaucho WebApp☆11May 1, 2026Updated last week
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆1,007Updated this week
- Typst package to easily write lyrics with chords and generate colorful fretboard diagrams☆94Aug 27, 2025Updated 8 months ago
- News about typst. 泰普斯屯Typst信息汇总☆18Apr 23, 2026Updated 2 weeks ago
- Zenn contents☆11Feb 28, 2026Updated 2 months ago
- CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.☆1,708Updated this week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆64Apr 7, 2026Updated last month
- Parsing and inspecting Rust literals (particularly useful for proc macros)☆55Oct 20, 2025Updated 6 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.
- 日本語／英語文献 Typstパッケージ☆16Dec 21, 2025Updated 4 months ago
- A library of color palettes for Typst.☆59Apr 27, 2025Updated last year
- geode mod that ports an old geometry dash meme into real GD☆15Feb 23, 2026Updated 2 months ago
- A clean architecture implementation using the repository pattern for a Golang Telegram bot☆15Jul 21, 2025Updated 9 months ago
- Use SyncTex with your favorite LaTeX editor and Evince. Acts as the glue between Evince's D-Bus interface and editors' CLI interface.☆11Jul 30, 2024Updated last year
- ☆10Mar 25, 2026Updated last month
- A Typst book template inspired by kaobook☆25Apr 27, 2026Updated last week
- The static-site blog template using astro and typst☆97Sep 13, 2025Updated 7 months ago
- 🎓 Web app to help teach HM type inference☆22Apr 7, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 7 years ago
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- A lecture notes template in Typst.☆83Jan 4, 2025Updated last year
- Entropy, Mutual Information, KL-Divergence related to Shannon's information theory and functions to binarize data☆22Aug 17, 2017Updated 8 years ago
- A Typst port of undergradmath☆147Apr 30, 2026Updated last week
- A simple plugin to add a Tmux-like zoom functionality to Neovim☆25Jun 1, 2024Updated last year
- A Typst suite of customizable environments for notetaking and homework assignments, designed for students in math, CS and physics.☆54Apr 4, 2026Updated last month