معرفی شرکت ها

cls-python-0.1.4

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
0.1.4
0.1.3
0.1.2
0.1.1
0.1.0
0.1.4
0.1.3
0.1.2
0.1.1
0.1.0

توضیحات

Python implementation of the CLS framework.
ویژگی مقدار
سیستم عامل -
نام فایل cls-python-0.1.4
نام cls-python
نسخه کتابخانه 0.1.4
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Jan Bessai
ایمیل نویسنده jan.bessai@tu-dortmund.de
آدرس صفحه اصلی https://github.com/cls-python/cls-python
آدرس اینترنتی https://pypi.org/project/cls-python/
مجوز Apache License (2.0)
========== CLS-Python ========== .. image:: https://img.shields.io/pypi/v/cls-python :target: https://pypi.python.org/pypi/cls-python .. image:: https://img.shields.io/pypi/pyversions/cls-python :target: https://pypi.python.org/pypi/cls-python .. image:: https://img.shields.io/pypi/l/cls-python?color=blue :target: https://github.com/cls-python/cls-python/blob/main/LICENSE .. image:: https://img.shields.io/github/issues/cls-python/cls-python :target: https://github.com/cls-python/cls-python/issues .. image:: https://github.com/cls-python/cls-python/actions/workflows/test-build-release.yaml/badge.svg :target: https://github.com/cls-python/cls-python/actions/workflows/test-build-release.yaml .. image:: https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/Jekannadar/bc966a7d659af93f31be6b04415b9468/raw/covbadge.json :target: https://github.com/cls-python/cls-python/actions/workflows/run-tests.yaml .. image:: https://img.shields.io/badge/docs-online-green :target: https://cls-python.github.io/cls-python/readme.html :alt: Documentation Status .. .. image:: https://pyup.io/repos/github/cls-python/cls-python/shield.svg :target: https://pyup.io/repos/github/cls-python/cls-python/ :alt: Updates TL:DR -------- Implements the cls-framework in python, as presented and verified in the dissertation `A type-theoretic framework for software component synthesis <https://eldorado.tu-dortmund.de/handle/2003/38387>`_. * 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.


زبان مورد نیاز

مقدار نام
>=3.10 Python


نحوه نصب


نصب پکیج whl cls-python-0.1.4:

    pip install cls-python-0.1.4.whl


نصب پکیج tar.gz cls-python-0.1.4:

    pip install cls-python-0.1.4.tar.gz