tutoriel_wp. Frama-C and WP tutorial
Frama-C-Conc2Seq. Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
vscode-ocp-indent. Provide OCP-Indent in VSCode for Ocaml code formatting
