hax-lib is used at run time in 7 crates (of which 6 optionally). It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) hax-lib version
7.1K 2 libcrux-sha3 ^0.1.0-alpha.1
6.9K 1 libcrux-ml-kem ^0.1.0-alpha.1
hax-bounded-integers =0.1.0-alpha.1