Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ultimate-pa / ultimate
The Ultimate program analysis framework.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ultimate-pa%2Fultimate
Stars: 182
Forks: 40
Open Issues: 214
License: None
Language: Java
Repo Size: 818 MB
Dependencies:
0
Created: over 8 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Commit Stats
Commits: 26556
Authors: 118
Mean commits per author: 225.05
Development Distribution Score: 0.613
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/ultimate-pa/ultimate
Topics: automata, ltl, model-checking, program-analysis, reachability, software-analysis, termination
Files
No dependencies found