Giters
hacl-star

hacl-star

Organization data from Github https://github.com/hacl-star

GitHub:@hacl-star

hacl-star's repositories

hacl-star

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

Language:F*License:Apache-2.0Stargazers:1645Issues:77Issues:231

merkle-tree

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

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

hacl-nix

Nightly lock files for HACL*

Language:NixStargazers:3Issues:5Issues:1

hacl-star.github.io

Website for the hacl-star project.

Language:HTMLStargazers:1Issues:7Issues:0