Metadata-Version: 2.4
Name: tyger-dev
Version: 0.0.3
Summary: Tyger is a simple type analysis tool that provides the foundations to implement diferent typing disciplines in Python.
Project-URL: Homepage, https://github.com/pleiad/GPython
Author-email: Cristóbal Ardiles <cristobalardiles.quiroz@gmail.com>, Matías Toro <mtoro@dcc.uchile.cl>, Martín Ramírez <martin.ramirez@ug.uchile.com>
License-File: LICENSE
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.10
Provides-Extra: dev
Requires-Dist: pytest; extra == 'dev'
Description-Content-Type: text/markdown

# Tyger: a simple type analysis tool

Tyger is a simple analysis tool developed to implement different type disciplines in Python. 

The package includes defines the necessary interfaces to implement a type discipline. It also comes with two currently 
in development interfaces: a simple gradual type system and a gradual security type system.

The main subjects of study of this project are gradual type system. This is defined in the abstract base discipline. 
The gradual system is based on the AGT methodology. 

## Installation

Package must be installed for testing. To install in development mode, use 

`pip install -e .`

To install from the PyPi index, use:

`pip install tyger`

