Data

Tools

Indexes

Applications

Experiments

Packages

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

@arborium/lean

Syntax highlighting for Lean, powered by WebAssembly

Ecosystem
npmjs.org
Latest Release
2.13.0
about 1 month ago
Versions
38
Downloads
2,205 last month
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40arborium/lean
    spec
    License MIT, Apache-2.0
    Namespace arborium
    First Release 3 months ago
    Last Synced 29 days ago
    Keywords
    arborium syntax-highlighting tree-sitter lean Lean wasm highlighting rust syntax
    Repository
    Stars 261 on GitHub
    Forks 6 on GitHub
    repos.ecosyste.ms
    Funding
    https://github.com/sponsors/fasterthanlime
    https://patreon.com/fasterthanlime