CLS-Python

https://img.shields.io/pypi/v/cls-python

https://img.shields.io/pypi/pyversions/cls-python

https://img.shields.io/pypi/l/cls-python?color=blue

https://img.shields.io/github/issues/cls-python/cls-python

https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/Jekannadar/bc966a7d659af93f31be6b04415b9468/raw/covbadge.json

Documentation Status

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>