Pieces Of Software
Among the few acceptable and realistic programming languages (ML, Haskell, Ada), OCaml is for me the best compromise between safety, performance, and fun.
I try to use its type system to maximize the safety and security of software (c.f. Github, Google Code, and Bitbucket).
I am lately mostly active on:
- Biocaml
- The Flow Library
- The software platform behind NYU GenCore (tracking samples, running jobs on an HPC cluster, presenting a dynamic Ocsigen web-application, etc.).
