ocaml jupyter:Jupyter(IPython)笔记本的OCaml内核源码

spatial_44891 43 0 ZIP 2021-03-09 06:03:06

ocaml-jupyter:Jupyter(IPython)笔记本的OCaml内核

推荐下载

码头工人可以将任意docker映像用作Jupyter内核。

scijava-jupyter-kernel,在Jupyter笔记本中,编写SciJava脚本!scijava-jupyter-kernelscijava-jupyter-kernel的目标是成为一个

atom-notebook, [Deprecated] Jupyter笔记本,但在 Atom 内 jupyter笔记本这里项目没有任何活动的维护者。建议使用使用电子技术构建的原生笔记本应用程序 Re

Jupyter Nbextensions配置器服务器扩展,为笔记本扩展(nbextensions)提供配置接口。 jupyter_nbextensions_configurator jupyter服

tlaplus_jupyter 适用于TLA+和Pluscal规范语言的Jupyter内核。基于官方词法分析器的语法突出显示。表达式的REPL功能。可以使用Binder在线执行。无需安装TLA

jupyter-octave:具有Octave内核的Jupyter实验室

Jupyter Notebook生成IEEE论文介绍这是一个简单的模板,用于演示如何从Jupyter笔记本直接生成完全格式化的IEEE论文。尽管不是很复杂,但它显示了如何轻松满足最常见的要求(例

恩布伦 Nbrun自动化Jupyter Notebook的执行,并传递参数化参数。 Nbrun提供了一种简单而有效的方法来消除代码重复和手动步骤,从而允许建立自动且具有自文档说明的分析管道。 Nbru

食用辅酶将OCaml程序导入Coq。从文件main.ml开始: type 'a tree = | Leaf of 'a | Node of 'a tree * 'a tree let rec su

纯OCaml Wayland协议库状态:原型制作 Wayland是一种通信协议,旨在在单台计算机上的进程之间使用。它主要由图形应用程序(客户端)用于与显示服务器进行通信,但是有关该协议的任何信息都

用户评论

请输入评论内容

评分：

暂无评论

ocaml jupyter:Jupyter(IPython)笔记本的OCaml内核 源码