Repository Index

Jupyter magics and kernels for working with remote Spark clusters

• spark
• kernel
• cluster
• livy

Jupyter kernel for Coq

• coq
• jupyter
• kernel
• jupyter-kernels

MicroPython integrated into Jupyter notebooks

• ipython
• ipython-magic
• jupyter-magics
• jupyter-notebook

Dependency management and optimization in Jupyter Notebooks

• notebook
• jupyter-notebooks
• package-management
• dependency-manager