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.readthedocs.io.
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.0 (2023-02-16)
First release on PyPI.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
cls-python-0.1.1.tar.gz
(37.2 kB
view hashes)
Built Distribution
cls_python-0.1.1-py3-none-any.whl
(25.9 kB
view hashes)
Close
Hashes for cls_python-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c09abc6b0773a642f32a2d06bdd473539fd2642a4ab40562f7c5e3fa522134db |
|
MD5 | 45328a9a87880b89da01d4e8f07080c1 |
|
BLAKE2b-256 | 6a9f0ce7d14bd96ae3634bc8968b9d18bb1f329878703dc419b34ab89f65da9c |