The Caml Hump: Froc

Froc

Froc is a library for function 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
adaptive functional programming.
Froc can be used with ocamljs, and with the included Froc-dom library
can be used for web browser programming.