CLS-Python
TL:DR
Implements the cls-framework in python, as presented and verified in the dissertation A type-theoretic framework for software component synthesis.
Free software: Apache Software License 2.0
Documentation: https://cls-python.github.io/cls-python/readme.html.
Features
Language Agnostic
Formally Verified
Handles Infinite Results
Flexible JSON Import/Export
Credits
Jan Bessai <jan.bessai@tu-dortmund.de>
Constantin Chaumet <constantin.chaumet@tu-dortmund.de>
Anne Meyer <anne2.meyer@tu-dortmund.de>
Daniel Scholtyssek <daniel.scholtyssek@tu-dortmund.de>
History
0.1.4 (2023-02-17)
Add project_urls to setup.py.
bump wheel version to mitigate security issue.
0.1.3 (2023-02-17)
Fix readme link to new gh-page.
0.1.2 (2023-02-17)
Update CI to include build and deploy of gh-page.
New badges for README.
0.1.1 (2023-02-17)
Update CI.
Exclude setup.cfg from trailing whitespace checking to work with bump2version.
0.1.0 (2023-02-16)
First release on PyPI.
2 maintainers
Metadata
2 maintainers
Release files for cls-python 0.1.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | Actions |
|---|---|---|---|---|
| cls-python-0.1.4.tar.gz | 38.0 kB | Without provenance | Details for cls-python-0.1.4.tar.gz |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Actions Reset |
|---|---|---|---|---|
| cls_python-0.1.4-py3-none-any.whl | Python 3 | none | any | Details for cls_python-0.1.4-py3-none-any.whl |
Total release size: 64.2 kB
Release files / cls-python-0.1.4.tar.gz
| Download URL | cls-python-0.1.4.tar.gz |
|---|---|
| Size | 38.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
772bd3f8a4974a73d215e296a38f4895dda243065abfb41f68b682e2ed8f91db
|
|
BLAKE2b-256 checksum How to use checksums |
365f0733e937afa399d99f7153347f7d2f2d9b6f99598580dcb35da7ea8c718e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.11.2
|
Release files / cls_python-0.1.4-py3-none-any.whl
| Download URL | cls_python-0.1.4-py3-none-any.whl |
|---|---|
| Size | 26.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
55df7990a177566c29d70c40e5366c174cbee7998825245ee744190f10db9561
|
|
BLAKE2b-256 checksum How to use checksums |
b00fd9956557918de0c0882993eafd5b8ef3b4a271eaa002f1b1502e99fb0e57
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.11.2
|
Security for cls-python 0.1.4
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
