Data

Tools

Indexes

Applications

Experiments

Packages

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

@joneugster/lean4 removed

Lean 4 language support for VS Code

Ecosystem
npmjs.org
Latest Release
0.0.143
almost 2 years ago
Versions
1
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40joneugster/lean4
    spec
    License Apache-2.0
    Namespace joneugster
    First Release almost 2 years ago
    Last Synced almost 2 years ago
    Keywords
    multi-root ready
    Repository
    Stars 122 on GitHub
    Forks 38 on GitHub
    repos.ecosyste.ms