Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / whitemech / logaut
LOGics formalisms to AUTomata
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flogaut
Stars: 10
Forks: 2
Open Issues: 11
License: lgpl-3.0
Language: Python
Repo Size: 915 KB
Dependencies:
187
Created: over 4 years ago
Updated: 11 months ago
Last pushed: 8 months ago
Last synced: about 13 hours ago
Files
Loading...
Readme
Loading...
Dependencies
pyproject.toml
pypi
- bandit ^1.7.0 develop
- black ==20.8b1 develop
- codecov ^2.1.11 develop
- flake8 ^3.9.1 develop
- flake8-bugbear ^21.4.3 develop
- flake8-docstrings ^1.5.0 develop
- flake8-eradicate ^1.0.0 develop
- flake8-isort ^4.0.0 develop
- hypothesis ^6.10.0 develop
- hypothesis-pytest ^0.19.0 develop
- ipython ^7.18.1 develop
- isort ^5.7.0 develop
- jupyter ^1.0.0 develop
- ltlf2dfa ^1.0.1 develop
- markdown ^3.3.4 develop
- markdown_include ^0.6.0 develop
- mkdocs ^1.1.2 develop
- mkdocs-material ^7.1.1 develop
- mknotebooks ^0.7.0 develop
- mypy ^0.812 develop
- pylint ^2.6.0 develop
- pytest ^6.2.1 develop
- pytest-cov ^2.10.1 develop
- pytest-randomly ^3.5.0 develop
- safety ^1.10.1 develop
- tox ^3.23.0 develop
- twine ^3.3.0 develop
- vulture ^2.1 develop
- pylogics ^0.1.0
- pythomata ^0.3.2
- python ^3.7
.github/workflows/docs.yml
actions
- actions/checkout master composite
- actions/setup-python master composite
.github/workflows/lint.yml
actions
- actions/checkout master composite
- actions/setup-python master composite
.github/workflows/test.yml
actions
- actions/checkout master composite
- actions/setup-python master composite
- codecov/codecov-action v1 composite