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/agda

Syntax highlighting for Agda, powered by WebAssembly

Ecosystem
npmjs.org
Latest Release
2.14.0
12 days ago
Versions
41
Downloads
273 last month
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40arborium/agda
    spec
    License MIT, Apache-2.0
    Namespace arborium
    First Release 3 months ago
    Last Synced 12 days ago
    Keywords
    arborium syntax-highlighting tree-sitter agda Agda wasm highlighting rust syntax
    Repository
    Stars 378 on GitHub
    Forks 16 on GitHub
    repos.ecosyste.ms
    Funding
    https://github.com/sponsors/fasterthanlime
    https://patreon.com/fasterthanlime