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

#2455 in Cryptography

36 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–355KB