Froc is a library for functional reactive programming in OCaml.

The interface is similar to FrTime and FlapJax, but (of course) typed, implementing a monad of changeable values. The implementation is data-driven, using the dynamic dependency graphs of Acar et al.’s self-adjusting computation.

Froc can be used with ocamljs, and with the included froc-dom library can be used for web browser programming.

See the Ocamldoc and some examples.

You can download froc at

For a quick start:

  1. ./configure (-disable-ocamljs if you do not have ocamljs)
  2. make
  3. make install
  4. make examples

Froc is written by Jake Donham.