HipHopSec Software Applications
The HipHopSec delivers various applications.
HipHop.js is an Hop.js DLS for orchestrating web applications. HipHop.js helps programming and maintaining Web applications where the orchestration of asynchronous tasks is complex.
Esterel Calculus is the Redex implementations of the calculus, as well as the testing suites and proofs mentioned in Florence's PhD dissertation.