hacl-star

Popular repositories

1. hacl-star Public

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

   F* 1.5k 148

2. hacl-star.github.io Public

   Website for the hacl-star project.

   HTML

3. hacl-nix Public

   Nix expressions to build HACL*

   Nix