rust-hacl-star

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

MIT License

Stars
27