Top 8.8% dependent packages on npmjs.org
Top 4.1% dependent repos on npmjs.org
Top 4.2% forks on npmjs.org
npmjs.org : jscoq
A port of Coq to JavaScript -- run Coq in your browser
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/jscoq
Keywords:
coq
, integrated-development-environment
, javascript
, proof-assistant
License: AGPL-3.0-or-later
Latest release: about 2 years ago
First release: over 6 years ago
Dependent packages: 2
Dependent repositories: 8
Downloads: 250 last month
Stars: 507 on GitHub
Forks: 42 on GitHub
Total Commits: 1513
Committers: 15
Average commits per author: 100.867
Development Distribution Score (DDS): 0.486
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago