package hacl-star

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

Install

Dune Dependency

hacl-star.github.io 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.4.4.tar.gz
md5=cab04a1971aeab8531e58398fba589f6
sha256=621aa0955c009f7e642e1a5f2ffd949ffe6651073afc90833e2a28e67eaf3bc6
sha512=f25d7e160c8596bf21b686071b973a467c5bafed125aef41b4432fedfa8037e274c923999211e47f2f93840058d92ace805c8970111efde4cb31c7cdac77cf5f

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