merc_data
v2.0.0crates.io· RustDefines data expressions on top of terms that are compatible with the mCRL2 toolset.
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published this month.
Popularity
22 downloads / week
Security
No known advisories for this version (OSV).
License
BSL-1.0
Dependencies
No runtime dependencies
Recent releases
- 2.0.0this month
- 1.0.05 months ago