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

  1. hacl-star
    Documentation
    OCaml API for EverCrypt/HACL*
    Project Everest
    0.7.0
    Apache-2.0
    Used by 6 other packages
    27 Mar 2023
  2. hacl-star-raw
    Documentation
    Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    Project Everest
    0.7.0
    Apache-2.0
    Used by 2 other packages
    27 Mar 2023