Metadata-Version: 2.4
Name: py-tree-sitter-spthy
Version: 1.2.2
Summary: Tree-sitter parser for Spthy language (Tamarin Prover)
Author-email: Luca Mandrelli <luca.mandrelli@icloud.com>
License-Expression: GPL-3.0-or-later
Project-URL: Homepage, https://github.com/lmandrelli/py-tree-sitter-spthy
Project-URL: Repository, https://github.com/lmandrelli/py-tree-sitter-spthy
Project-URL: Issues, https://github.com/lmandrelli/py-tree-sitter-spthy/issues
Project-URL: Bug Tracker, https://github.com/lmandrelli/py-tree-sitter-spthy/issues
Project-URL: Documentation, https://github.com/lmandrelli/py-tree-sitter-spthy/blob/main/README.md
Project-URL: Source Code, https://github.com/lmandrelli/py-tree-sitter-spthy
Keywords: tree-sitter,parser,spthy,tamarin,protocol,verification,security,formal-methods,syntax-tree,parsing
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: Operating System :: MacOS
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Text Processing :: Linguistic
Classifier: Topic :: Security :: Cryptography
Classifier: Topic :: Scientific/Engineering
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: tree-sitter>=0.20.0
Provides-Extra: dev
Requires-Dist: pytest>=6.0; extra == "dev"
Requires-Dist: black>=22.0; extra == "dev"
Requires-Dist: flake8>=4.0; extra == "dev"
Dynamic: license-file

# py-tree-sitter-spthy

[![PyPI version](https://img.shields.io/pypi/v/py-tree-sitter-spthy.svg?color=blue)](https://pypi.org/project/py-tree-sitter-spthy/)
[![License](https://img.shields.io/badge/license-GPLv3-gold.svg)](./LICENSE)

This project provides Python bindings for the SPTHY grammar, based on the [tree-sitter grammar from vscode-tamarin](https://github.com/tamarin-prover/vscode-tamarin/tree/a54f341f62f6ce9b79e04e5c3cfd6063c48d461f/src/grammar/tree-sitter-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

```bash
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](./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](https://tamarin-prover.com) project, using the official repo of the vscode plugin.
