THIRD-PARTY CRATE

hax-lib

Hax-specific helpers for Rust programs

Current version0.3.7

LicenseApache-2.0

Total downloads2,291,759

Last updated2026-05-20

Homepagehttps://github.com/hacspec/hax

Repositoryhttps://github.com/hacspec/hax

View hax-lib on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.