curryst0.6.0
Typeset trees of inference rules.
agregyst1.0.0
Two-column agrégation lesson with summary at the end.
board-n-pieces0.9.0
Display chessboards.
diagraph0.3.6
Draw graphs with Graphviz. Use mathematical formulas as labels.
ens-rennes-presentation0.1.0
Slides theme respecting the ENS Rennes graphical chart.
unichar0.3.2
A partial port of the Unicode Character Database.
xodec0.2.0
Get Codex/Typst names of symbols.