To the commenters blaming OCaml - it is being used in the Project Everest[1] (along with F#) for creating a proven network security stack. Basically, they creat

To the commenters blaming OCaml - it is being used in the Project Everest[1] (along with F#) for creating a proven network security stack. Basically, they created ML-like language called F*[2], which fits the task perfectly. There is also a pure OCaml implementation[3] of TLS stack, along with x509[4]. [1] https://project-everest.github.io/ https://project-everest.github.io/ [2] https://www.fstar-lang.org/ https://www.fstar-lang.org/ [3] https://github.com/mirleft/ocaml-tls https://github.com/mirleft/ocaml-tls [4] https://github.com/mirleft/ocaml-x509 https://github.com/mirleft/ocaml-x509