EliomEliom is a powerful framework for programming Web applications in OCaml.See the full documentation here.