Webinar: Modern Security Approaches to the Software Supply Chain

1 packages found

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

incremental
parsing
tree-sitter
tlaplus
grammar
parser
pluscal

Showing 1 to 1 of 1 results