hacl-star

Pinned Repositories

hacl-nix
Nightly lock files for HACL*
Language:Nix3 5 12
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 77 231175
hacl-star.github.io
Website for the hacl-star project.
Language:HTML1 7 00
merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
Language:F*8 7 95

hacl-star's Repositories

hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 77 231175
hacl-star/merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
Language:F*8 7 95
hacl-star/hacl-nix
Nightly lock files for HACL*
Language:Nix3 5 12
hacl-star/hacl-star.github.io
Website for the hacl-star project.
Language:HTML1 7 00