tree-sitter-lean4
v0.3.0crates.io· RustTree-sitter grammar for Lean 4 (generates parser at build time)
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
65 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.3.0this month
- 0.2.23 months ago
- 0.2.13 months ago
- 0.2.03 months ago
- 0.1.13 months ago
- 0.1.03 months ago
- 0.0.83 months ago
- 0.0.73 months ago