Ecosyste.ms: Repos

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

GitHub / whitemech / LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FLTLf2DFA

Stars: 57
Forks: 8
Open Issues: 11

License: lgpl-3.0
Language: Python
Repo Size: 1.51 MB
Dependencies: 208

Created: about 6 years ago
Updated: about 1 month ago
Last pushed: 2 months ago
Last synced: about 1 month ago

Commit Stats

Commits: 229
Authors: 2
Mean commits per author: 114.5
Development Distribution Score: 0.017
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/whitemech/LTLf2DFA

Topics: dfa, formula, ltlf, ltlf2dfa, mona, ppltl

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docs.yml actions
    .github/workflows/lint.yml actions
    .github/workflows/test.yml actions
    .github/workflows/python-publish.yml actions
    pyproject.toml pypi
    poetry.lock pypi