`@arborium/agda`

Syntax highlighting for Agda, powered by WebAssembly

Ecosystem
npmjs.org

Latest Release
2.14.0
23 days ago

Versions
41

Downloads
273 last month

2.14.0

Published: 23 days ago
Registry - Download sha512-YP2N8p7deWbVv...

2.13.0

Published: about 1 month ago
Registry - Download sha512-gxH3ela7IBhxY...

2.12.4

Published: 2 months ago
Registry - Download sha512-Ml8+4kHk4/myd...

2.12.3

Published: 2 months ago
Registry - Download sha512-GDjAhaXQf1wu3...

2.12.2

Published: 2 months ago
Registry - Download sha512-6WHglT66d4QSj...

2.12.1

Published: 2 months ago
Registry - Download sha512-9Gyk362SkxO1n...

2.12.0

Published: 2 months ago
Registry - Download sha512-P0mHpvxoJN6FL...

2.11.0

Published: 2 months ago
Registry - Download sha512-uKFx0We4JG8IR...

2.10.0

Published: 2 months ago
Registry - Download sha512-jJJTuJlEe3qI6...

2.9.0

Published: 2 months ago
Registry - Download sha512-8SkmZqb9IcUK6...

2.8.0

Published: 2 months ago
Registry - Download sha512-rSOlsFgf0MjSq...

2.7.0

Published: 2 months ago
Registry - Download sha512-wygmgSpXwDWvG...

2.6.1

Published: 2 months ago
Registry - Download sha512-KTzGuYUP0rlTN...

2.6.0

Published: 3 months ago
Registry - Download sha512-qpH2tStTtRG5Q...

2.5.0

Published: 3 months ago
Registry - Download sha512-E36630B3rssBz...

2.4.7

Published: 3 months ago
Registry - Download sha512-x8zUdtPuQ+L4s...

2.4.6

Published: 3 months ago
Registry - Download sha512-Klesw6z/paiKU...

2.4.5

Published: 3 months ago
Registry - Download sha512-vN16/cnfI7BAe...

2.4.4

Published: 3 months ago
Registry - Download sha512-QFR1G7BbDYcn/...

2.4.3

Published: 3 months ago
Registry - Download sha512-VTT/bEt/qx3cY...

2.4.2

Published: 3 months ago
Registry - Download sha512-SAWnhIIHjpm4X...

2.4.0

Published: 3 months ago
Registry - Download sha512-wlMA1cbrUNJGn...

2.3.2

Published: 3 months ago
Registry - Download sha512-mBrBCdoJxba8j...

2.3.1

Published: 3 months ago
Registry - Download sha512-HyKt3/ZBi+Jzc...

2.3.0

Published: 3 months ago
Registry - Download sha512-bBTQaGQ3vyTPJ...

2.1.0

Published: 3 months ago
Registry - Download sha512-LviNUruiBvOXd...

2.0.0

Published: 3 months ago
Registry - Download sha512-f9ENPn+9hWLBL...

1.3.0

Published: 3 months ago
Registry - Download sha512-RVOE33eO0ONAB...

1.2.3

Published: 3 months ago
Registry - Download sha512-eeCnSYWYk5Ja4...

1.1.5

Published: 3 months ago
Registry - Download sha512-RgQIe5pFCpmr4...

1.1.0

Published: 3 months ago
Registry - Download sha512-fDWXuWBMmX0Da...

1.0.1

Published: 3 months ago
Registry - Download sha512-eQCq+X+0Y0120...

1.0.0

Published: 4 months ago
Registry - Download sha512-w8S1wsQ6rS7ur...

0.901.0

Published: 4 months ago
Registry - Download sha512-cfHyh6XGTwuPs...

0.900.0

Published: 4 months ago
Registry - Download sha512-traCIXHqG1859...

0.700.0

Published: 4 months ago
Registry - Download sha512-PA+jckJl04xPV...

0.699.0

Published: 4 months ago
Registry - Download sha512-y2SakM2FkVyX8...

0.693.0

Published: 4 months ago
Registry - Download sha512-gqhGRByV2Z0Fd...

0.622.0

Published: 4 months ago
Registry - Download sha512-mfniq/x3wD/9u...

0.0.0-dev

Published: 4 months ago
Registry - Download sha512-sahgzW0Qt7Aug...

0.3.0

Published: 4 months ago
Registry - Download sha512-nhCQLLpv2bYVy...

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	4 months ago
Last Synced	23 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