hax-lib
cargov0.3.6Hax-specific helpers for Rust programs
License Apache-2.0permissive12 versions0 deps708,993 weekly dl
hacspec/hax63
/ 100
Health
safe to use
[email protected] is safe to use (health: 63/100)
Health breakdown0 – 100
15/25
maintenance
14/20
popularity
25/25
security
9/15
maturity
0/15
community
Vulnerabilities
0
none known
Health History
Dependency Tree
License Audit
API access
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/cargo/hax-libMore from cargo
First published · 2024-06-18T09:26:50.907485Z
Last updated · 2026-01-15T10:31:27.870956Z