hax-types
v0.3.7crates.io· RustHelper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax.
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
38 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 0.3.7this month
- 0.3.65 months ago
- 0.3.58 months ago
- 0.3.49 months ago
- 0.3.39 months ago
- 0.3.210 months ago
- 0.3.1over a year ago
- 0.3.0over a year ago