py-tree-sitter-spthy

This project provides Python bindings for the SPTHY grammar, based on the tree-sitter grammar from vscode-tamarin.

The grammar is compiled and made accessible on PyPI, allowing integration with the tree-sitter library in Python. This enables parsing and analysis of SPTHY files directly from Python code.

Features

• SPTHY grammar support for tree-sitter in Python
• Easy installation via PyPI
• Direct integration with the tree-sitter Python library

Installation

pip install py-tree-sitter-spthy

Usage

You can use this package with the tree-sitter Python library to parse SPTHY files.

License

This project is licensed under the GNU GPLv3 License.

Contributing

Contributions are welcome! Please open issues or pull requests for improvements or bug fixes.

Acknowledgements

This project is based on the SPTHY grammar from the Tamarin Prover project, using the official repo of the vscode plugin.