Js_of_ocaml is a compiler of OCaml bytecode to Javascript.
OCaml is a general purpose programming language with an
emphasis on expressiveness and safety. Js_of_ocaml brings
nearly all the OCaml features to Javascript. And especially
its powerful type system.