Lib.rs

› Cryptography › hacl-star
#api-bindings #hacl-star

sys no-std hacl-star-sys

HACL* FFI

by quininer Co-owned by Franziskus Kiefer.

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

#1536 in Cryptography

Download history 30/week @ 2024-07-25 7/week @ 2024-08-01 12/week @ 2024-08-08 6/week @ 2024-08-15 4/week @ 2024-08-22 6/week @ 2024-08-29 21/week @ 2024-09-05 27/week @ 2024-09-12 43/week @ 2024-09-19 23/week @ 2024-09-26 14/week @ 2024-10-03 54/week @ 2024-10-10 57/week @ 2024-10-17 23/week @ 2024-10-24 32/week @ 2024-10-31 27/week @ 2024-11-07

152 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–470KB