hacl

HACL*, a formally verified cryptographic library written in F*

Rust bindings for HACL* / EverCrypt (high assurance crypto)

A Go wrapper for EverCrypt.

run HACL* C code against Monocypher and TIS-CI

HACL HMAC