package hacl-star

  1. Overview
  2. Docs
OCaml API for EverCrypt/HACL*

Install

Dune Dependency

cryspen.com Changelog Edit opam file Versions (21)

Authors

  1. P
    Project Everest

Maintainers

  1. V
    Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Sources

hacl-star.0.7.1.tar.gz
md5=192bca3819b9e21b39a0d38f02081d39
sha512=28c3f43af0bfeb3976ca11f8cb8ac38694165fd2c897b9048515b02a2116aff8aa45c37c8e475dc172dc7c964a8712beb94ba149426c2caeda1659312347e0b2

doc/index.html

OCaml API for HACL* and EverCrypt

EverCrypt

Hacl

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct