hacl

There are 0 repository under hacl topic.

hacl-star / hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography everest formal-methods formal-verification hacl high-performance inria security verification verified-primitives
Language:F* 1596
rot256 / everrs
Rust bindings for HACL* / EverCrypt (high assurance crypto)
bindings chacha20-poly1305 crypto formal-verification hacl high-assureance x25519
Language:C 2
tankf33der / hacl-hmac
HACL HMAC
hacl hmac cryptography
Language:C
tankf33der / monocypher-hacl
run HACL* C code against Monocypher and TIS-CI
monocypher hacl cryptography hacl-star tis-ci tis
Language:C