Browse Packages

A package to set algorithms with ease

A package for typesetting games in Typst.

Symbols definition for Iversonian languages.

Use AMSa and AMSb designs in mixed-font math equations.

A mathematics utility library providing specialized number types, number theory operations and a variety of math functions, etc.

Put real hats on symbols instead of circumflexes.

A nomenclature package for managing symbol descriptions, values, units, and domains of definition.

Stacked cubes and dices

Gnuplot in Typst

Generate charts with vegalite.

Draw normal-form and extensive-form game-theory diagrams.

Beautiful theorem-like environments with 9 styles and French math preset

Fitch-style proof diagrams

A flexible and easy-to-use package for typesetting Wick contractions.

Draw RTL-aware boxes, paper components, frames, and covers.

Amlos makes list of symbols.

Customizable environments for note taking and homework assignments, designed for students in math, CS and physics.

Manually and automatically typeset synthetic division.

Utilities to work with big rational numbers in Typst

3D plotting for surfaces and parametric equations using CeTZ similar to pgfplots for LaTeX

French high-school maths after ProfLycee: trigonometric circle, equations, sequences, NumWorks screens, arithmetic, probability

Pass down arguments of `sum`, `integral`, etc. to the next line, which can generate shorthand to present reusable segments.

Fitch-style natural deduction proofs.

Visualize 2D and 3D Gmsh files.

A package to visualize SLR parser steps.

Draw simple Karnaugh maps

Cryptographic notation and game-hopping proofs in the style of The Joy of Cryptography.

Simple number and unit typesetting.

Build exercise sheets with selectable solutions

Draw intervals on a number line, after ProfLycee.

Render OpenSCAD (.scad) models.