Ecosyste.ms: Repos

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

GitHub / sundw2014 / HooVer

HooVer: a statistical model checking tool with optimistic optimization

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

Stars: 1
Forks: 0
Open Issues: 0

License: ncsa
Language: Python
Repo Size: 2.41 MB
Dependencies: 7

Created: over 4 years ago
Updated: about 4 years ago
Last pushed: almost 3 years ago
Last synced: about 1 year ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    requirements.txt pypi