Skip to content

jonludlam/ocaml-training

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Jupyter notebooks in this repository can be run most easily using Docker. Just run

./start

And open the printed URL in your browser. Alternatively you can set things up to use your local ocaml with the opam environment available.

To prepare:

aptitude install ipython-notebook libzmq3-dev jupyter-core jupyter-client jupyter-notebook
opam install iocaml rpc

cat > `opam config var share`/iocaml/kernel.json.tmp << EOF
{
 "display_name": "OCaml",
 "language": "ocaml",
 "argv": [
  "`opam config var bin`/iocaml.top",
  "-log",
  "iocaml.log",
  "-object-info",
  "-completion",
  "-connection-file",
  "{connection_file}"
 ]
}
EOF

sudo jupyter kernelspec install --name iocaml-kernel `opam config var share`/iocaml

To run:

jupyter notebook --Session.key='b""' notebooks/

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Jupyter Notebook 67.8%
  • HTML 32.1%
  • Shell 0.1%