Jean-Christophe Filliâtre : ProgrammingOCaml software During my idle time, I develop software, mainly in OCaml, a functional programming language with a wonderful standard library and a compiler (bytecode and native) which can rival with gcc. OCaml code being fully portable, you can compile the following code on any platform supported by OCaml: Linux, most commercial UNIX, but also MacOS, Windows, etc. (unless a specificity of some pla
