Metadata-Version: 2.4
Name: py-tree-sitter-spthy
Version: 1.1.2
Summary: Tree-sitter parser for Spthy language
Home-page: https://github.com/lmandrelli/py-tree-sitter-spthy
Author: Luca Mandrelli
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
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
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: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Text Processing :: Linguistic
Requires-Python: >=3.9
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; extra == "dev"
Requires-Dist: flake8; extra == "dev"
Dynamic: author
Dynamic: home-page
Dynamic: license-file
Dynamic: requires-python

# py-tree-sitter-spthy

[![PyPI version](https://badge.fury.io/py/py-tree-sitter-spthy.svg)](https://badge.fury.io/py/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.
