hacl-sys 0.0.0

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