Giters
hacl-star

hacl-star

Geek Repo

Github PK Tool:Github PK Tool

hacl-star's repositories

hacl-star

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

Language:F*License:Apache-2.0Stargazers:1595Issues:78Issues:225

merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt

Language:F*Stargazers:6Issues:7Issues:9

hacl-nix

Nightly lock files for HACL*

Language:NixStargazers:2Issues:5Issues:1

hacl-star.github.io

Website for the hacl-star project.

Language:HTMLStargazers:1Issues:7Issues:0