semvec/pypi-packages huggingface dataset:
py-tree-sitter-spthy 1.2.2
Tree-sitter parser for Spthy language (Tamarin Prover)
Requires Python: >=3.10
Keywords: tree-sitter, parser, spthy, tamarin, protocol, verification, security, formal-methods, syntax-tree, parsing

# 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.