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
Release files for tyger-dev 0.0.7
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| tyger_dev-0.0.7.tar.gz | 131.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| tyger_dev-0.0.7-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 232.2 kB
Release files / tyger_dev-0.0.7.tar.gz
| Download URL | tyger_dev-0.0.7.tar.gz |
|---|---|
| Size | 131.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
b30c20ddd5908f702145b38ff642f68425c03525e2d3731bf54c0dfc1560b870
|
|
BLAKE2b-256 checksum How to use checksums |
f8cab1a6fd00fa322d2a59358e2539930d5c83c74f954037857439230b7ec872
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.14
|
Release files / tyger_dev-0.0.7-py3-none-any.whl
| Download URL | tyger_dev-0.0.7-py3-none-any.whl |
|---|---|
| Size | 100.3 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
3051ffddf5faff3b51057595d87deea1ec78dc68c24c24c0bf748362124849fb
|
|
BLAKE2b-256 checksum How to use checksums |
7a1631092ca5261dc7b1a274b2cb1ca186887cfe487211157694dbdc89b243e8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.14
|
