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 170

  2. merkle-tree merkle-tree Public

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

    F* 8 5

  3. hacl-nix hacl-nix Public

    Nightly lock files for HACL*

    Nix 3 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-star Public

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

    hacl-star/hacl-star’s past year of commit activity
    F* 1,635 Apache-2.0 170 32 (3 issues need help) 7 Updated Dec 23, 2024
  • hacl-nix Public

    Nightly lock files for HACL*

    hacl-star/hacl-nix’s past year of commit activity
    Nix 3 2 0 0 Updated Sep 16, 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* 8 5 8 0 Updated Jul 5, 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

F* Nix HTML

Most used topics

Loading…