LibHunt
Popularity Index
Feedback?
About
F* LibHunt
Discover popular and related F* open-source projects
Projects
1
Posts
3
Mentions
3
Our great sponsor
Scout
- Get performance insights in less than 4 minutes
Our great sponsor
Top F* Projects by mentions
24h
|
Weekly
|
Monthly
|
Stars
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