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

Showing 1 - 2
  1. OCaml API for EverCrypt/HACL*
    0.7.1
    Apache-2.0
    Used by 10 other packages
    03 Jun 2023
  2. Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    0.7.1
    Apache-2.0
    Used by 3 other packages
    03 Jun 2023