tree-sitter-tlaplus is used at run time in 3 crates. It is a direct run-time dependency in 2 crates.

Depender (with downloads and own rev deps) tree-sitter-tlaplus version
480 1 libtlafmt ^1.5.0
tlauc ^1.5.0