verified-primitives topic
List
verified-primitives repositories
hacl-star
1.6k
Stars
160
Forks
Watchers
HACL*, a formally verified cryptographic library written in F*
