Explore 6 packages in the TPIX registry
Typeset trees of inference rules.
Typeset proof trees with minimal syntax.
Generate compact vector ArUco markers.
🪩 Declarative raytracing
A simple package to format Backus-Naur form (BNF)
Draw data-structure diagrams from a compact text DSL.
