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

#2307 in Cryptography

Download history 22/week @ 2024-01-22 15/week @ 2024-02-05 27/week @ 2024-02-19 31/week @ 2024-02-26 13/week @ 2024-03-04 19/week @ 2024-03-11 8/week @ 2024-03-18

71 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–335KB