Jupyter_comm
A library for communication between Jupyter and notebooks.
module Stdin : sig ... end
Jupyter stdin
module Manager : sig ... end
User-defined communication