Home

Welcome to the pendulum wiki!

Description

pendulum is a language dedicated to the programming of reactive systems on the Web. It has a powerful expressivity to describe synchronous concurrent systems communicating with broadcasted signals. Its constructions and implementation are mostly based on Esterel. The language is embedded in OCaml as a syntax extension. It allows the programmer to describe reactive machines as OCaml values, and run them on signals arguments. The compilation of concurrency in pendulum is completely sequential and static.

The core language is completely compatible with vanilla OCaml compiler.

Please do not use pendulum for now, as it is an early prototype