hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

hacl-star

Documentation:

Dependencies: hacl-star-raw, zarith