Eliom-widgets's Homepage

Eliom-widgets is a library for client widgets. Some tools are also available on the server side.

Many of the widgets come from Ojwidgets, but instead of using javascript element, they use Eliom html element, so you don't need to convert the to javascript.