npmjs.org : @arborium/lean
Syntax highlighting for Lean, powered by WebAssembly
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:npm/%40arborium/lean
Keywords:
arborium
, syntax-highlighting
, tree-sitter
, lean
, Lean
, wasm
License: MIT,Apache-2.0
Latest release: about 13 hours ago
First release: 19 days ago
Namespace: arborium
Downloads: 2,205 last month
Stars: 261 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/fasterthanlime, https://patreon.com/fasterthanlime
Last synced: about 13 hours ago