hax-lib is used at run time in 6 crates (of which 6 optionally). It is a direct run-time dependency in 2 crates.
Depender (with downloads and own rev deps) | hax-lib version | |||
---|---|---|---|---|
1.5K | 1 | libcrux-ml-kem | ^0.1.0-alpha.1 | |
1.5K | 2 | libcrux-sha3 | ^0.1.0-alpha.1 |