7 releases

0.1.0 May 25, 2019
0.0.7 Sep 27, 2018
0.0.6 May 24, 2018
0.0.5 Dec 15, 2017

#2841 in Cryptography

Download history 40/week @ 2024-11-16 38/week @ 2024-11-23 8/week @ 2024-11-30 28/week @ 2024-12-07 29/week @ 2024-12-14 1/week @ 2024-12-21 1/week @ 2024-12-28 7/week @ 2025-01-04 9/week @ 2025-01-11 4/week @ 2025-01-18 2/week @ 2025-01-25 19/week @ 2025-02-01 31/week @ 2025-02-08 128/week @ 2025-02-15 152/week @ 2025-02-22 160/week @ 2025-03-01

477 downloads per month
Used in 5 crates (via hacl-star)

MIT license

435KB
13K SLoC

C 12K SLoC // 0.0% comments Rust 889 SLoC // 0.0% comments

Rust bindings to HACL*-C

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

Dependencies

~0.4–495KB
~10K SLoC