hax-lib is used at run time in 10 crates (of which 2 optionally). It is a direct run-time dependency in 4 crates.
| Number of dependers | hax-lib version | Downloads/month |
|---|---|---|
| 8 | 0.2.0 | 5.3K |
| 2 | 0.1.0 | 3.1K |
| Depender (with downloads and own rev deps) | hax-lib version | |||
|---|---|---|---|---|
| 8.1K | 2 | libcrux-sha3 | ^0.2 | |
| 8.0K | 2 | libcrux-intrinsics | ^0.2 | |
| 7.1K | 2 | libcrux-ml-kem | ^0.2 | |
| 210 | hax-bounded-integers | =0.2.0 | ||