hax-lib is used at run time in 7 crates (of which 6 optionally). It is a direct run-time dependency in 3 crates.
| Number of dependers | hax-lib version | Downloads/month |
|---|---|---|
| 6 | 0.1.0-rc.1 | 410 |
| 1 | 0.1.0-alpha.1 | 650 |
| Depender (with downloads and own rev deps) | hax-lib version | |||
|---|---|---|---|---|
| 3.5K | 1 | libcrux-ml-kem | ^0.1.0-alpha.1 | |
| 3.4K | 2 | libcrux-sha3 | ^0.1.0-alpha.1 | |
| hax-bounded-integers | =0.1.0-alpha.1 | |||