Python implementation of the CLS framework.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for cls-python from gravatar.com cls-python Avatar for DanielScholtyssek from gravatar.com DanielScholtyssek

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License (Apache License (2.0))
  • Author: Jan Bessai
  • Tags cls-python
  • Requires: Python >=3.10
Classifiers

Project description

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://github.com/cls-python/cls-python/actions/workflows/test-build-release.yaml/badge.svg 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.

Features

  • Language Agnostic

  • Formally Verified

  • Handles Infinite Results

  • Flexible JSON Import/Export

Credits

History

0.3.0 (2023-02-17)

  • Update CI to include build and deploy of gh-page.

  • New badges for README.

0.2.0 (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.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for cls-python from gravatar.com cls-python Avatar for DanielScholtyssek from gravatar.com DanielScholtyssek

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License (Apache License (2.0))
  • Author: Jan Bessai
  • Tags cls-python
  • Requires: Python >=3.10
Classifiers

Release history Release notifications | RSS feed

0.1.4

0.1.3

This version

0.1.2

0.1.1

0.1.0

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.2.tar.gz (37.7 kB view details)

Uploaded Source

Built Distribution

cls_python-0.1.2-py3-none-any.whl (26.1 kB view details)

Uploaded Python 3

File details

Details for the file cls-python-0.1.2.tar.gz.

File metadata

  • Download URL: cls-python-0.1.2.tar.gz
  • Upload date:
  • Size: 37.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.11.2

File hashes

Hashes for cls-python-0.1.2.tar.gz
Algorithm Hash digest
SHA256 018f4232470ace5127784b84cb4eb27df86ce09806f5dd0fad9fa95c41734627
MD5 21f5e3747c4c5cea58d3b87c7f4f4f7e
BLAKE2b-256 37e36639688c10ee332b16a03b9e99fc9528589679281c6c874b54047609cf57

See more details on using hashes here.

File details

Details for the file cls_python-0.1.2-py3-none-any.whl.

File metadata

  • Download URL: cls_python-0.1.2-py3-none-any.whl
  • Upload date:
  • Size: 26.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.11.2

File hashes

Hashes for cls_python-0.1.2-py3-none-any.whl
Algorithm Hash digest
SHA256 fe2887bb4e1611d6fc9ba723cff148b4a2c7455f4dae2778643f63a2ff09bdfd
MD5 025a1e58f664cf80fd73b74693a6f5cb
BLAKE2b-256 5e800b5a68f9bf80e52b642746a1d8626714154664aee49c65b7fe78138fdee5

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page