[xvilka]

Worth mentioning there is an emerging scientific computational framework Owl[1][2] and interesting concept of using OCaml-based languages for more formal protocol or logic description with Imandra[3].

[1] https://ocaml.xyz

[2] https://github.com/owlbarn

[3] https://imandra.ai