npmjs.org : quint-vscode
Language support for Quint specifications
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/quint-vscode
Keywords:
apalache
, formal-methods
, language
, quint
, specification
, tlaplus
, verification
License: Apache-2.0
Latest release: about 2 years ago
First release: about 2 years ago
Downloads: 1 last month
Stars: 1,065 on GitHub
Forks: 95 on GitHub
Total Commits: 1134
Committers: 11
Average commits per author: 103.091
Development Distribution Score (DDS): 0.638
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 18 days ago