Movatterモバイル変換

hacl-star

hacl-starhacl-starPublic
HACL*, a formally verified cryptographic library written in F*
F* 1.8k 184
merkle-treemerkle-treePublic
A verified Merkle Tree, built as a standalone project on top of EverCrypt
F* 8 5
hacl-nixhacl-nixPublic
Nightly lock files for HACL*
Nix 3 2
hacl-star.github.iohacl-star.github.ioPublic
Website for the hacl-star project.
HTML 1

Showing 4 of 4 repositories

hacl-star Public
HACL*, a formally verified cryptographic library written in F*
hacl-star/hacl-star’s past year of commit activity
F* 1,813Apache-2.0 184 35 (3 issues need help) 8 UpdatedOct 26, 2025
hacl-nix Public
Nightly lock files for HACL*
hacl-star/hacl-nix’s past year of commit activity
Nix 3 2 0 0 UpdatedSep 24, 2025
merkle-tree Public
A verified Merkle Tree, built as a standalone project on top of EverCrypt
hacl-star/merkle-tree’s past year of commit activity
F* 8 5 8 0 UpdatedFeb 5, 2025
hacl-star.github.io Public
Website for the hacl-star project.
hacl-star/hacl-star.github.io’s past year of commit activity
HTML 10 0 0 UpdatedJul 3, 2022