Python implementation of the CLS framework.
Project description
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.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
File details
Details for the file cls-python-0.1.4.tar.gz.
File metadata
- Download URL: cls-python-0.1.4.tar.gz
- Upload date:
- Size: 38.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.11.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 772bd3f8a4974a73d215e296a38f4895dda243065abfb41f68b682e2ed8f91db |
|
| MD5 | 41b783e49b549263025b0db04e505b37 |
|
| BLAKE2b-256 | 365f0733e937afa399d99f7153347f7d2f2d9b6f99598580dcb35da7ea8c718e |
File details
Details for the file cls_python-0.1.4-py3-none-any.whl.
File metadata
- Download URL: cls_python-0.1.4-py3-none-any.whl
- Upload date:
- Size: 26.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.11.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 55df7990a177566c29d70c40e5366c174cbee7998825245ee744190f10db9561 |
|
| MD5 | d463ede693877e6dcdc5c38a4c381e3b |
|
| BLAKE2b-256 | b00fd9956557918de0c0882993eafd5b8ef3b4a271eaa002f1b1502e99fb0e57 |
