Explore 7 packages in the TPIX registry
Typeset trees of inference rules.
Animated HTML talks and a PDF handout from one source.
Graph view for your notes
Typeset proof trees with minimal syntax.
🪩 Declarative raytracing
Generate charts with vegalite.
Gnuplot in Typst