`@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

2.13.0

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

2.12.4

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

2.12.3

Published: 2 months ago
Registry - Download sha512-OoyXBBrXe+Qre...

2.12.2

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

2.12.1

Published: 2 months ago
Registry - Download sha512-MB/MJ1uj5r/ex...

2.12.0

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

2.11.0

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

2.10.0

Published: 2 months ago
Registry - Download sha512-vJHg7jG+11Hpt...

2.8.0

Published: 2 months ago
Registry - Download sha512-F7TL+ISs1HC8X...

2.7.0

Published: 2 months ago
Registry - Download sha512-wZ/aDyuphMNtJ...

2.6.1

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

2.6.0

Published: 3 months ago
Registry - Download sha512-wUZvoIFmnE8T+...

2.5.0

Published: 3 months ago
Registry - Download sha512-S+SiVbmWhVv1s...

2.4.7

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

2.4.6

Published: 3 months ago
Registry - Download sha512-th++4pc/4WSn/...

2.4.5

Published: 3 months ago
Registry - Download sha512-8kW9Ox4ej7gxY...

2.4.4

Published: 3 months ago
Registry - Download sha512-VAXde7U+K1jQR...

2.4.3

Published: 3 months ago
Registry - Download sha512-rDWMrlI/vd2bB...

2.4.2

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

2.4.0

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

2.3.2

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

2.3.1

Published: 3 months ago
Registry - Download sha512-RQkoRL+vehIuQ...

2.3.0

Published: 3 months ago
Registry - Download sha512-Vm1wmW/2Vuiqk...

2.1.0

Published: 3 months ago
Registry - Download sha512-5Eos8fOoTeVce...

2.0.0

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

1.3.0

Published: 3 months ago
Registry - Download sha512-OBl/VQJ1X+cjA...

1.2.3

Published: 3 months ago
Registry - Download sha512-6siJidz0ArWeQ...

1.1.5

Published: 3 months ago
Registry - Download sha512-6lpOaG2v1Zbp5...

1.1.0

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

1.0.1

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

1.0.0

Published: 3 months ago
Registry - Download sha512-7qcb//kcwk9zD...

0.901.0

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

0.900.0

Published: 3 months ago
Registry - Download sha512-7vcHypXRVCx5i...

0.700.0

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

0.693.0

Published: 3 months ago
Registry - Download sha512-jWzwlFhZqDS+U...

0.622.0

Published: 4 months ago
Registry - Download sha512-pzREDkm/kbVZo...

0.0.0-dev

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

0.3.0

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

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	4 months ago
Last Synced	about 1 month 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