Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Smattr / rumur
yet another model checker
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Smattr%2Frumur
Stars: 12
Forks: 5
Open Issues: 20
License: unlicense
Language: C++
Repo Size: 3.36 MB
Dependencies:
0
Created: almost 7 years ago
Updated: 10 days ago
Last pushed: 10 days ago
Last synced: 9 days ago
Topics: model-checker, model-checking
Files
Loading...
Readme
Loading...
No dependencies found