The HACL C Package

The HACL C package is a modular, easy to use C library for low-level cryptographic primitives.

The (latest) documentation can be found here: HACL Packages API Reference (main) 📚

Releases of the C library can be found on Github 📦