About this page

This page was created by Timothy Bourke for the MPRI course on Parallélisme synchrone. The source code is available on github.

It uses several (great) components developed by others.

OCaml (source)	LGPL2
js_of_ocaml (source)	GPL2
ACE Editor (source)	BSD
OCaml interface to ACE Editor (source)	GPL3
svg-pan-zoom (jsoo-svg-pan-zoom)	BSD2
Graphviz (source)	CPL-1.0
viz.js (source, jsoo-viz)	MIT

The exercises build on:

J.-C. Filliâtre's BDD library (source)

GPL2