Python implementation of the cls framework.
Project description
CLS
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
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.0.tar.gz
(37.7 kB
view hashes)
Built Distribution
cls_python-0.1.0-py3-none-any.whl
(26.0 kB
view hashes)
Close
Hashes for cls_python-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bc8ce87ce46f7272a86d308c5d803e4368fefb3db52cbfefa83a57b4e24d16a3 |
|
MD5 | 28cca0ea89ce54e35b67a223a778ba06 |
|
BLAKE2b-256 | 04e2e021b39608ab44d5c55e557e45d68dbd02e42b1ac76ead10b262e88d9a11 |