GitHub repository: quininer/rust-hacl-star
Primary language: Rust
Created: 2017-09-15T10:30:12Z
Description: HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).