rustio rustio.net

Decision Workspace

leo3-macros

Side-by-side comparison of Rust crates

53
leo3-macros
experimentalv0.2.2

Procedural macros for Leo3 (Rust-Lean4 bindings)

Core Metrics

leo3-macros
Health Score53
Total Downloads355
30d Downloads0
Dependents10
Releases10
Last Updated38d ago
Age5m

Health Breakdown

leo3-macros
Maintenance
17
Quality
13
Community
8
Popularity
3
Documentation
12

Technical Details

leo3-macros
Version0.2.2
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies4
Crate Size6KB
Features0
Yanked %0.0%
Edition2021
MSRV1.88
Owners1

Links

leo3-macros detail →GitHub ↗crates.io ↗

Quick Verdict

  • •leo3-macros leads with a health score of 53/100, but none of the options score above 80.