Search: github.com/hacl-star | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

HACL: A High-Assurance Cryptographic Library (github.com/hacl-star)

2 points

2 years ago

2.

EverCrypt: A Verified Crypto Provider (github.com/project-everest)

4 points

7 years ago

3.

HACL*, a formally verified cryptographic library written in F* (github.com/project-everest)

2 points

7 years ago

4.

EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance (github.com/project-everest)

1 point

7 years ago