hax-lib is used at run time in 9 crates (of which 2 optionally). It is a direct run-time dependency in 4 crates.

Number of dependers hax-lib version Downloads/month
7 0.2.0 4.7K
2 0.1.0 5.2K
Depender (with downloads and own rev deps) hax-lib version
9.1K 2 libcrux-sha3 ^0.2
9.0K 2 libcrux-intrinsics ^0.2
8.1K 1 libcrux-ml-kem ^0.2
210 hax-bounded-integers =0.2.0