Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mryndzionek / tlaplus_specs
Different TLA+ specifications, mostly for learning purposes
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mryndzionek%2Ftlaplus_specs
Stars: 28
Forks: 1
Open Issues: 0
License: None
Language: TLA
Repo Size: 144 MB
Dependencies: pending
Created: over 4 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Topics: graphviz, model-checking, tla, tla-specifications, tlaplus
Files
Loading...
Readme
Loading...