package hacl-star

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

Install

Dune Dependency

tech.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.6.2.tar.gz
md5=1d8449a395cf9f0ade232da306b2316f
sha512=0aa0afc951b30164aca98100ad528f13129566957a3db26bac3c1975c264c4dece01c2b918ad2f9d1b8b563b13044c85ecfdcbced13aee915e4b9d61bff25bf5

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