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 340
2 0.1.0 6.4K
Depender (with downloads and own rev deps) hax-lib version
9.1K 2 libcrux-intrinsics ^0.2
9.1K 2 libcrux-sha3 ^0.2
8.9K 1 libcrux-ml-kem ^0.2
130 hax-bounded-integers =0.2.0