2. EvilmlA compiler from ML to C++ template language
3. SlapBLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
4. Docker Iocaml DatascienceDockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning