Repository navigation

#

hacl

Website
Wikipedia

hacl-star / hacl-star

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

Cryptography verified-primitives high-performance 安全 formal-methods formal-verification inria hacl everest verification

F*

1720

177

13 小时前

rot256 / everrs

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

crypto hacl formal-verification ChaCha x25519 bindings

C

2

0

5 年前

mtoohey31 / go-evercrypt

A Go wrapper for EverCrypt.

Cryptography formal-methods formal-verification Go hacl high-performance 安全 verification verified-primitives

Go

0

0

6 个月前

tankf33der / monocypher-hacl

run HACL* C code against Monocypher and TIS-CI

hacl Cryptography tis

C

0

0

4 年前

tankf33der / hacl-hmac

HACL HMAC

hacl hmac Cryptography

C

0

0

4 年前