package eliom

  1. Overview
  2. Docs
Client/server Web framework


Dune Dependency






Eliom is a framework for implementing client/server Web applications. It introduces new concepts to simplify the implementation of common behaviors, and uses advanced static typing features of OCaml to check many properties of the Web application at compile-time. Eliom allows implementing the whole application as a single program that includes both the client and the server code. We use a syntax extension to distinguish between the two sides. The client-side code is compiled to JS using Ocsigen Js_of_ocaml.

Published: 21 Dec 2016



Eliom is a framework for building web sites and client/server web applications in OCaml. Eliom employs sophisticated techniques from the field of functional programming, thus enabling the programmer to build complex web sites in very few lines of code. Both the server and the client parts of an application are implemented in OCaml, as a single program.

Eliom is part of the Ocsigen project.

Installation Instructions

We recommend that you use the OPAM package manager to install Eliom. Once you have installed OPAM, all you have to do is type:

opam install eliom

If you want to compile manually,

  • run make to compile;

  • run make PREFIX=${YOURPREFIX} install (as root if necessary) to install; and

  • run make PREFIX=${YOURPREFIX} uninstall to uninstall everything.

Testing locally

  • Install Eliom.

  • Run make run.local or make run.opt.local in the Eliom source directory.

  • Open http://localhost:8080/miniwiki in your browser.

  • If the above does not work, look at the logs (see local/var/log/ in the Eliom source directory) or run Eliom with either of the options -v, -V (verbose and debug mode, respectively).

  • Sources for this example may be found in the directory tests/miniwiki. A complete tutorial is available online. For a testsuite, see http://localhost:8080/.


  • Vincent Balat

  • Jérôme Vouillon

  • Grégoire Henry

  • Pierre Chambart

  • Benedikt Becker

  • Boris Yakobowski

  • Hugo Heuzard

  • Raphaël Proust

  • Stéphane Glondu

  • Gabriel Kerneis

  • Denis Berthod

  • Jaap Boender

  • Simon Castellan

  • Mauricio Fernandez

  • Archibald Pontier

  • Simon Castellan

  • Jacques-Pascal Deplaix

Dependencies (14)

  1. base-bytes
  2. sqlite3
  3. dbm
  4. reactiveData >= "0.2.1"
  5. ipaddr >= "2.1"
  6. ocsigenserver >= "2.8" & < "3.0.0"
  7. tyxml >= "4.0.0" & < "4.3"
  8. js_of_ocaml >= "2.8.2" & < "3.0"
  9. ppx_tools >= "0.99.3"
  10. ppx_deriving
  11. lwt >= "2.5.0" & < "3.0.0"
  12. deriving >= "0.6"
  13. ocamlfind
  14. ocaml >= "4.02.2" & < "5.1"

Dev Dependencies


Used by (1)

  1. ocsigen-toolkit < "1.1.0"




Innovation. Community. Security.