npmjs.org : @codewars/codemirror-agda
CodeMirror extension for editing Agda
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40codewars/codemirror-agda
Keywords:
agda
, codemirror
License: MIT
Latest release: over 4 years ago
First release: over 5 years ago
Namespace: codewars
Dependent packages: 1
Downloads: 63 last month
Stars: 6 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 15 days ago
@everything-registry/sub-chunk-185 0.1.0 removed
npm install @everything-registry/sub-chunk-1851 version - Latest release: almost 2 years ago - 55 downloads last month - 225 stars on GitHub - 2 maintainers
@zalastax/nolb-_codew 2023.1.22 removed
Subpackage of no-one-left-behind.1 version - Latest release: almost 3 years ago - 42 downloads last month - 103 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.