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 2 other packages
    Added to opam-repository
  2. hacl-star-raw
    Documentation
    Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    Project Everest
    0.7.2
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository