Skip to content
@hacl-star

hacl-star

Popular repositories Loading

  1. hacl-star hacl-star Public

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

    F* 1.6k 161

  2. merkle-tree merkle-tree Public

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

    F* 6 5

  3. hacl-nix hacl-nix Public

    Nightly lock files for HACL*

    Nix 2 2

  4. hacl-star.github.io hacl-star.github.io Public

    Website for the hacl-star project.

    HTML 1

Repositories

Showing 4 of 4 repositories
  • hacl-nix Public

    Nightly lock files for HACL*

    hacl-star/hacl-nix’s past year of commit activity
    Nix 2 2 0 0 Updated Jun 30, 2024
  • hacl-star Public

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

    hacl-star/hacl-star’s past year of commit activity
    F* 1,603 Apache-2.0 161 29 (3 issues need help) 9 Updated Jun 30, 2024
  • 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* 6 5 8 1 Updated May 21, 2024
  • hacl-star.github.io Public

    Website for the hacl-star project.

    hacl-star/hacl-star.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Jul 3, 2022

Top languages

Loading…

Most used topics

Loading…