Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

npmjs.org "coq" keyword

Top 4.1% on npmjs.org
@trufflesuite/chromafi 3.0.0
🦅 cli syntax highlighting: any function - any object - 176 languages
6 versions - Latest release: over 2 years ago - 6 dependent packages - 6,720 dependent repositories - 83.9 thousand downloads last month - 6 stars on GitHub - 5 maintainers
hubot-prove-everywhere 0.1.0
hubot script for ProveEverywhere
1 version - Latest release: over 9 years ago - 2 dependent packages - 1 dependent repositories - 6 downloads last month - 0 stars on GitHub - 1 maintainer
coqlsp-client 1.0.6
Coq language server protocol client implementation
7 versions - Latest release: 8 months ago - 14 downloads last month - 0 stars on GitHub - 1 maintainer
@central419/chromafi 3.0.0
🦅 cli syntax highlighting: any function - any object - 176 languages
1 version - Latest release: over 2 years ago - 2 dependent packages - 40 downloads last month - 38 stars on GitHub - 1 maintainer
Top 4.9% on npmjs.org
chromafi 2.1.0
🦅 cli syntax highlighting: any function - any object - 176 languages
36 versions - Latest release: about 6 years ago - 17 dependent packages - 17 dependent repositories - 244 downloads last month - 38 stars on GitHub - 1 maintainer
Top 5.6% on npmjs.org
@ianwalter/chromafi 1.0.1
🦅 cli syntax highlighting: any function - any object - 176 languages
2 versions - Latest release: over 4 years ago - 3 dependent packages - 54 dependent repositories - 362 downloads last month - 38 stars on GitHub - 1 maintainer
wacoq-deps 0.1.1
meta-package for waCoq binary dependencies
2 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 27 downloads last month - 502 stars on GitHub - 1 maintainer
Top 7.1% on npmjs.org
jscoq 0.17.1
A port of Coq to JavaScript -- run Coq in your browser
18 versions - Latest release: 8 months ago - 2 dependent packages - 8 dependent repositories - 9 downloads last month - 502 stars on GitHub - 1 maintainer
wacoq 0.16.0
A port of Coq to WebAssembly -- run Coq in your browser
9 versions - Latest release: over 1 year ago - 1 dependent repositories - 4 downloads last month - 502 stars on GitHub - 1 maintainer