Skip to main content

Open source releases from Microsoft


project-everest/hacl-star

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

24020

mitls/hacl-c

HACL* verified C code (READ-ONLY, NOT NECESSARILY UP-TO-DATE)

63


hacl


There is no information about this tag. To add some, make a pull request.