Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / ldv-klever / klever

Read-only mirror of the Klever Git repository

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ldv-klever%2Fklever

Stars: 19
Forks: 12
Open Issues: 1

License: apache-2.0
Language: Python
Repo Size: 162 MB
Dependencies: 187

Created: almost 6 years ago
Updated: 3 months ago
Last pushed: 3 months ago
Last synced: 3 months ago

Topics: c, formal-methods, formal-specification, formal-verification, model-checking, software-verification, specification, static-analysis, verification

Files

Readme

Dependencies

docs/requirements.txt pypi

Sphinx ==5.0.2
sphinx-rtd-theme ==1.0.0

requirements-openstack.txt pypi

BenchExec ==3.11
Django ==4.0.3
Jinja2 ==3.1.2
MarkupSafe ==2.1.1
PyNaCl ==1.5.0
PyYAML ==6.0
Pygments ==2.12.0
amqp ==5.1.1
appdirs ==1.4.4
asgiref ==3.5.2
attrs ==21.4.0
autopage ==0.5.1
bcrypt ==3.2.2
billiard ==3.6.4.0
cchardet ==2.1.7
celery ==5.2.7
certifi ==2022.6.15
cffi ==1.15.1
chardet ==5.0.0
charset-normalizer ==2.1.0
clade ==3.6
click ==8.1.3
click-didyoumean ==0.3.0
click-plugins ==1.1.1
click-repl ==0.2.0
cliff ==3.10.1
cmd2 ==2.4.1
cryptography ==37.0.2
debtcollector ==2.5.0
decorator ==5.1.1
django-appconf ==1.0.5
django-celery-results ==2.4.0
django-compressor ==4.0
django-js-asset ==2.0.0
django-mptt ==0.13.4
djangorestframework ==3.13.1
dogpile.cache ==1.1.6
graphviz ==0.20
gunicorn ==20.1.0
idna ==3.3
iniconfig ==1.1.1
iso8601 ==1.0.2
jmespath ==1.0.1
jsonpatch ==1.32
jsonpointer ==2.3
jsonschema ==3.2.0
keystoneauth1 ==4.6.0
kombu ==5.2.4
msgpack ==1.0.4
munch ==2.5.0
netaddr ==0.8.0
netifaces ==0.11.0
openstacksdk ==0.99.0
os-client-config ==2.1.0
os-service-types ==1.7.0
osc-lib ==2.6.0
oslo.config ==8.8.0
oslo.context ==4.1.0
oslo.i18n ==5.1.0
oslo.log ==5.0.0
oslo.serialization ==4.3.0
oslo.utils ==6.0.0
packaging ==21.3
paramiko ==2.11.0
pbr ==5.9.0
pika ==1.3.0
pluggy ==1.0.0
ply ==3.11
prettytable ==3.3.0
prompt-toolkit ==3.0.30
psycopg2-binary ==2.9.3
py ==1.11.0
pyOpenSSL ==22.0.0
pycparser ==2.21
pycryptodome ==3.15.0
pyinotify ==0.9.6
pyparsing ==3.0.9
pyperclip ==1.8.2
pyrsistent ==0.18.1
pytest ==7.1.2
python-cinderclient ==8.3.0
python-dateutil ==2.8.2
python-glanceclient ==4.0.0
python-keystoneclient ==4.5.0
python-neutronclient ==7.8.0
python-novaclient ==18.0.0
python-slugify ==6.1.2
pytz ==2022.1
rcssmin ==1.1.0
requests ==2.28.1
requestsexceptions ==1.4.0
rfc3986 ==2.0.0
rjsmin ==1.2.0
setuptools-scm ==7.0.4
simplejson ==3.17.6
six ==1.16.0
sortedcontainers ==2.4.0
sqlparse ==0.4.2
stevedore ==3.5.0
text-unidecode ==1.3
tomli ==2.0.1
typing_extensions ==4.3.0
ujson ==5.4.0
urllib3 ==1.26.9
vine ==5.0.0
warlock ==1.3.3
wcwidth ==0.2.5
wrapt ==1.14.1

requirements.txt pypi

BenchExec ==3.11
Django ==4.0.3
Jinja2 ==3.1.2
MarkupSafe ==2.1.1
PyYAML ==6.0
Pygments ==2.12.0
amqp ==5.1.1
asgiref ==3.5.2
attrs ==21.4.0
billiard ==3.6.4.0
cchardet ==2.1.7
celery ==5.2.7
certifi ==2022.6.15
chardet ==5.0.0
charset-normalizer ==2.1.0
clade ==3.6
click ==8.1.3
click-didyoumean ==0.3.0
click-plugins ==1.1.1
click-repl ==0.2.0
django-appconf ==1.0.5
django-celery-results ==2.4.0
django-compressor ==4.0
django-js-asset ==2.0.0
django-mptt ==0.13.4
djangorestframework ==3.13.1
graphviz ==0.20
gunicorn ==20.1.0
idna ==3.3
iniconfig ==1.1.1
kombu ==5.2.4
packaging ==21.3
pika ==1.3.0
pluggy ==1.0.0
ply ==3.11
prompt-toolkit ==3.0.30
psycopg2-binary ==2.9.3
py ==1.11.0
pyparsing ==3.0.9
pytest ==7.1.2
python-slugify ==6.1.2
pytz ==2022.1
rcssmin ==1.1.0
requests ==2.28.1
rjsmin ==1.2.0
setuptools-scm ==7.0.4
six ==1.16.0
sortedcontainers ==2.4.0
sqlparse ==0.4.2
text-unidecode ==1.3
tomli ==2.0.1
typing_extensions ==4.3.0
ujson ==5.4.0
urllib3 ==1.26.9
vine ==5.0.0
wcwidth ==0.2.5

setup.py pypi