HACL* in OCaml: safe bindings for verified C code using Ctypes

@vdum thanks! I have a different but related question: recently @dbuenzli announced OCaml bindings to TweetNaCL; if I remember correctly, Nomadic Labs had similar bindings at some point (which were replaced by HACL* bindings?). Do you have a pointer to your TweetNaCL bindings?

1 Like