hacl

There are 4 repositories under hacl topic.

hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 77 226162
rot256/everrs
Rust bindings for HACL* / EverCrypt (high assurance crypto)
Language:C2 2 1
tankf33der/hacl-hmac
HACL HMAC
Language:C2 0
tankf33der/monocypher-hacl
run HACL* C code against Monocypher and TIS-CI
Language:C2 0