Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / coco-team / zustre
A model checker and assume/guarantee contract generator for Lustre programs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coco-team%2Fzustre
Stars: 9
Forks: 5
Open Issues: 8
License: other
Language: Python
Repo Size: 17.8 MB
Dependencies:
0
Created: about 9 years ago
Updated: over 1 year ago
Last pushed: about 6 years ago
Last synced: over 1 year ago
Topics: checker, lustre, model
Files
Loading...
Readme
Loading...
No dependencies found