2 search results for "author:"Project Everest""

Showing 1 - 2
  1. hacl-star
    Documentation
    OCaml API for EverCrypt/HACL*
    Project Everest
    0.7.2
    Apache-2.0
    Used by 10 other packages
    27 Sep 2024
  2. hacl-star-raw
    Documentation
    Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    Project Everest
    0.7.2
    Apache-2.0
    Used by 3 other packages
    27 Sep 2024