curryst
Typeset trees of inference rules.
curryst
@previewTypeset trees of inference rules.
MIT
prooflists
Typeset proof trees with minimal syntax.
prooflists
@previewTypeset proof trees with minimal syntax.
0BSD
povrayst
🪩 Declarative raytracing
povrayst
@preview🪩 Declarative raytracing
AGPL-3.0-or-later
simplebnf
A simple package to format Backus-Naur form (BNF)
simplebnf
@previewA simple package to format Backus-Naur form (BNF)
MIT
vanilla-aruco
Generate compact vector ArUco markers.
vanilla-aruco
@previewGenerate compact vector ArUco markers.
MIT