F* LibHunt

Discover popular and related F* open-source projects
1
3
3
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
Mentions Stars Project Description
3 1,349
hacl-star
 HACL*, a formally verified cryptographic library written in F*

Popular F* Topics

#Cryptography #everest #Formal Methods #Formal Verification #hacl #High Performance #Inria #Security #Verification #verified-primitives

Latest Mentions

Latest mentioned F* repos
Stars Project
1,349 hacl-star

Latest Discoveries

Latest discovered F* repos
Stars Project
1,349 hacl-star