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 | |
|---|---|---|---|
| cls-python-0.1.4.tar.gz | 38.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| cls_python-0.1.4-py3-none-any.whl | Python 3 | none | any | Details |
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
|
