Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 6.0% dependent repos on pypi.org

pypi.org : tulip

Temporal Logic Planning (TuLiP) Toolbox

Registry - Source - Homepage - Documentation - JSON
purl: pkg:pypi/tulip
Keywords: abstraction, automata, control-systems, feedback-systems, hybrid-systems, python, specification, state-machine, synthesis, temporal-logic, verification
License: BSD-3-Clause
Latest release: 2 months ago
First release: over 9 years ago
Dependent repositories: 6
Downloads: 65 last month
Stars: 108 on GitHub
Forks: 35 on GitHub
Docker dependents: 0
Docker downloads: 0
Total Commits: 3203
Committers: 30
Average commits per author: 106.767
Development Distribution Score (DDS): 0.393
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago

    Loading...
    Readme
    Loading...